A. U Shankar;Simon S. Lam
-;-
An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)