Antoni Wiweger A functionalization of logical kits. 180-186 1991 15 Fundam. Inform. 2 db/journals/fuin/fuin15.html#Wiweger91