Title: Proceedings [of the]Symposium on Formal Design Methodology, Cambridgeshire Hotel, Bar Hill, Cambridge, England, 9th-12th April, 1979