Title: The formal specification of computational structures
First published: 1987