Programmno osiguriavane pro Sofijski universitet Kliment Ochridski (BAN - Institut po techničeska kibernetika i robotika, 1986)