A Model for I/O in Equational Languages with Don't Care Non-determinism.

H. R. Walters, J. F. Th. Kamperman

Browse the full COMPASS paper archive.