On the use of specification styles for automated protocol implementation from LOTOS to C.

Peter van Eijk Harro Kremer Marten van Sinderen On the use of specification styles for automated protocol implementation from LOTOS to C. 157-168 1990 conf/pstv/1990 PSTV db/conf/pstv/pstv1990.html#EijkKS90