Author: Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)