Austin, S., and Parkin, G.I.: Formal methods: A survey, National Physical Laboratory, Queens Road, Teddington, Middlesex TW11 0LW, UK, March 1993
author author author author author title title title title institution institution institution location location location location location location location date date