Title: Arifmeticheskie i logicheskie osnovy ETsVM
First published: 1974