Principy samočinných číslicových počítačů. (Czech) [Principles of automatic computing machines]. Pokroky matematiky, fyziky a astronomie, vol. 7 (1962), issue 1, pp. 15-33