Uvod v prolog in zbirka nalog z rešitvami - Kononenko, Igor (Fakulteta za elektrotehniko, 1987)
Na vrhu nasl. str.: Univerza Edvarda Kardelja v Ljubljani