Symposium on Semantics of Algorithmic Languages. Number 188 (1971)

by E Engeler
Venue:in Lecture Notes in Mathematics