Kovács László: Számítógép-hálózati protokollok formális specifikálása és verifikálása (SZTAKI Tanulmányok 138/1982)
MAGYAR TUDOMÁNYOS AKADÉMIA SZÁMÍTÁSTECHNIKAI és automatizálási kutató intézete SZÁMÍTÓGÉP-HÁLÓZATI PROTOKOLLOK FORMÁLIS SPECIFIKÁLÁSA ÉS VERIFIKÁLÁSA Irta: KOVÁCS LÁSZLÓ Tanulmányok 138/1982