Matavovszky Tibor, Dr. Pâsztorné Varga Katalin: Boole-függvény kezelő rendszer (SZTAKI Tanulmányok 97/1979)
MAGYAR TUDOMÁNYOS AKADÉMIA SZÁMÍTÁSTECHNIKAI ÉS AUTOMATIZÁLÁSI KUTATÓ INTÉZETE BOOLE-FÜGGVÉNY KEZELŐ RENDSZER Irta : MATAVOVSZKY TIBOR dr PÁSZTORNÉ VARGA KATALIN Tanulmányok 97/1979