Sun-Jen Huang, Richard Lai. Some Maintainability Metrics for a Communication Protocol Specified in Estell. In COMPSAC 98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria. pages 218-227, IEEE Computer Society, 1998. [doi]
Abstract is missing.