O'Donnell, M J "Computing systems described by equations" in Compunng and Systems Described by Equations, Lecture Notes in Computer Science 58, G Goos and J Hartmarns, Eds, Sprmger-Verlag, 1977

Languages mentioned

• ELP {1975}