Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol. - Manuel Duque-Antón; M. Bretschneider (TAPSOFT, Vol.2, 1989)