@misc{_Prace, title={Prace IPI PAN. 1972 (58 - 94)}, type={raport}, address={Warszawa}, publisher={Instytut Podstaw Informatyki PAN}, }