2 books • 3 series
Subrecursive Programming Systems (Progress in Theoretical Computer Science)
A Connotational Theory of Program Structure (Lecture Notes in Computer Science, #273) (Eurographicseminars, #273)