Kreczmar Antoni: Algorithm for constructing of university timetables and criterion of consistency of requirements. In: Acta cybernetica, (2) 2. pp. 135-145. (1973)