The formal-methods constituency : diffusion of an emerging technology into a high-volume industrial environment by Alfonso Hernán Molina. ISBN 1872287514. Published by Edinburgh PICT in 1993. Publication and catalogue information, links to buy online and reader comments.