The specification statement (1988)

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