CY - Warszawa T1 - Prace IPI PAN. 1982 (456 - 492) PB - Instytut Podstaw Informatyki PAN