A graphical representation and prototype editor for the Formal Description Technique Estelle. - Justin Templemore-Finlayson; Pieter S. Kritzinger; Jean-Luc Raffy; Stanislaw Budkowski (FORTE, 1998)

Simulating Multicast Transport Protocols in Estelle. - Justin Templemore-Finlayson; Eugen Borcoci (FORTE, 2000)

Group Communication and Multicast. - Justin Templemore-Finlayson; Stanislaw Budkowski (ICN (1), 2001)