People who have corresponded in the PatternsList
on FormalMethodsAndPatterns include:

	* ChrisWoodcock (c.j.woodcock@cs.stir.ac.uk)
	* BillOpdyke (opdyke@ixserve.att.com) (opdyke@cs.uiuc.edu)
	* MatthiasRiebisch (Matthias.Riebisch@theoinf.tu-ilmenau.de)
	* SteveRoggenkamp (sroggen@infinet.com)
	* AlanWills (alan@trireme.com)
	* SteveGoodman (sgoodman@charm.net)
	* ChrisMarshall (stimpy@htp.net)
	* JamesNoble (kjx@socs.uts.edu.au)
	* Roland Schachtschabel (Schachtschabel@inverso.de)
	* Amnon H. Eden (eden@essex.ac.uk) http://www.lepus.org.uk/ref/companion/
----
CategoryFormalMethods