Specification and Design of (Parallel) Programs (1983)

by Cliff B Jones
Venue:In Proceedings of the IFIP World Computer Congress