International Symposium on Theoretical Programming Novosibirsk 1972.