Author: International Symposium on Theoretical Programming Novosibirsk 1972.