Loose specification and its semantics (1989)

by Morten Wieth
Venue:In Information Processing 89. IFIP, North-Holland