Author: Symposium on Formal Design Methodology (1979 Cambridge)