A formal comparison of formal protocol specification techniques. - R. C. Venkatraman; Thomas F. Piatkowski (PSTV, 1985)