![](/img/cover-not-exists.png)
A Sampler of Formal Definitions
Marcotty, Michael, Ledgard, Henry, Bochmann, Gregor V.Volume:
8
Language:
english
Journal:
ACM Computing Surveys
DOI:
10.1145/356669.356672
Date:
June, 1976
File:
PDF, 4.35 MB
english, 1976