Mobal : prostředí pro logické modelování - Svátek, Vojtěch, 1967 prosinec 1.- (Technical reports, 1994)