Deepinder Sidhu, Anthony Chung, and Thomas P. Blumer. A formal description technique for protocol engineering. Technical Report CSTR- 2505, University of Maryland at College Park, July 1990.

Languages mentioned

• Estelle {1989}