Wissenschaftstheoretische Untersuchungen in algorithmischen Sprachen Bd. 1 - Thiele, Helmut (Mathematische Forschungsberichte, 1966)