On the Non-Compactness of the Class of Program Schemas

Nissim Francez, Giora Slutzki. On the Non-Compactness of the Class of Program Schemas. Inf. Process. Lett., 2(5):141-142, 1973.

Abstract

Abstract is missing.