CAT: a system for the structured elaboration of correct programs from structured specifications (0)

by J Goguen, R Burstall