Functional specification of non-deterministic programs
Henderson, Peter1944-
Newcastle upon Tyne University of Newcastle upon Tyne, Computing Laboratory
1972
Bibliographyp.17
Computer programs.