Towards Automated Consistency Checking of Module Interface Specifications. - Marcin Engel; Artur Kret; Janina Mincer-Daszkiewicz (Fundam. Informaticae, 2000)