Lecture notes in computer science V.306. Foundations of logic and functional programming - Boscarol, M., Levi, G. Ed. Goos, G. Editor (1988)
Keywords: Computers