A Theory of Non−determinism
C.A.R. Hoare and J.R. Kennaway
Book Title
Proceedings ICALP '80
Pages
338−350
Publisher
Springer−Verlag‚ Lecture Notes In Computer Science‚ No. 85
Year
1980
C.A.R. Hoare and J.R. Kennaway