Loose Specification and its Semantics (1989)

by Morten Wieth
Venue:Information Processing 89