Theoretical Programming 1972: Novosibirsk, Russia