An Introductionto the Construction and Verification of ALPHARD Programs (1976)

by W A Wulf, R L London, M Shaw
Venue:IEEE Transformation Software Engineering