Abstraction and verification in Alphard: defining and specifying iteration and generators (1977)

by M Shaw, W A Wulf, R L London
Venue:Commun. ACM