Proceeding on Semantics of Algorithmic Languages - Engeler E Ed.; Symposium on semantics of algorithmic languages (1970 : Minneapolis) (Berlin Springer-Verlag, 1971)
Bibliography 367-372p