TITLE : Two standards means problems: a case study on formal protocol descriptions AUTHOR(S) : Fantechi A, Gnesi S, Laneve C TYPE : Journal article YEAR : 1989 CODE : 418293 *** DO NOT EDIT THIS FILE ***