The Specification Statement (1988)

by C Morgan
Venue:ACM Transactions on Programming Languages and Systems