The specification statement (1988)

by C Morgan
Venue:ACM Trans. Program. Lang. Syst