A precise semantics for ultraloose specifications

Alastair D. Reid
[Google Scholar] [DBLP] [Citeseer]

Masters thesis
Glasgow School of Computing Science
Glasgow, Scotland
1993
Note(s): formal specification