3 treff

Equational logic as a programming language
Michael J. O'Donnell
Bok Språk ikke angitt 1985
A programming logic : with an introduction to the PL/CV verifier
Constable, R. L.
Bok Engelsk 1978
Computing in systems described by equations
O'Donnell, Michael J.
Bok Engelsk 1977