Bauer, F. L Mengen in algorithmischen sprachen oder: Arten und Pradikate F. L. Bauer; R. Gnatz - Munchen Universitat Munchen 1970 - 39 p 28 cm Contine bibliografie