🚀 go-pugleaf

 
Wanting to ask a question about Z, I thought I would scan my .newsrc
for an appropriate newsgroup. Not finding comp.lang.miranda or
comp.lang.functional, I guessed comp.lang.misc might be the only hope.
 
I opened the newsgroup to find that comp.lang.functional was indeed
under consideration. I would vote for that, however...
 
I might suggest that the newsgroup would be better named...
 
	soc.culture.europe-and-british-empire
 
since the Americans seem singularly uninterested in functional
languages. 
 
Returning to my question, I'm looking for references to Z, the formal
methodology developed by the Programming Research Group at Oxford
University, England.
 
I'd like to find a summary in electronic form but am interested in
paper references too.
 
Cheers,
 
Graeme Harker, Digital SpA, Piazza XX Settembre, 21100 Varese, Italy
uucp : ...{sun,decvax,hplabs,ucbvax}!decwrl!omero.enet!graeme
Internet : graeme@omero.enet.dec.com