Specification and design of (parallel) programs (1983)

by C B Jones
Venue:Information Processing 83: Proceedings of the IFIP 9th World Congress