Organisation vom Algorithmen- und Programmnachweisen - Balla, K. (Technická univerzita, 1984)