Marcin Engel Artur Kret Janina Mincer-Daszkiewicz Towards Automated Consistency Checking of Module Interface Specifications. 251-278 2000 42 Fundam. Inform. 3-4 db/journals/fuin/fuin42.html#EngelKM00