Proconsul, a tool for computer-aided protocol engineering. - Katalin Tarnay; Gyula Csopaki; Maria Törö; M. D. Ta; Zs Boja-Harangozó; J. Miskolczi (Microprocess. Microprogramming, 1993)