A functionalization of logical kits. - Antoni Wiweger (Fundam. Informaticae, 1991)