People who have corresponded in the Patterns List on Formal Methods And Patterns include:
Chris Woodcock (c.j.woodcock@cs.stir.ac.uk)
Bill Opdyke (opdyke@ixserve.att.com) (opdyke@cs.uiuc.edu)
Matthias Riebisch (Matthias.Riebisch@theoinf.tu-ilmenau.de)
Steve Roggenkamp (sroggen@infinet.com)
Alan Wills (alan@trireme.com)
Steve Goodman (sgoodman@charm.net)
Chris Marshall (stimpy@htp.net)
James Noble (kjx@socs.uts.edu.au)
Roland Schachtschabel (Schachtschabel@inverso.de)
Amnon H. Eden (eden@essex.ac.uk) www.lepus.org.uk 
See original on c2.com