International Symposium on Theoretical Programming (1972 Novosibirsk)