On the use of specification styles for automated protocol implementation from LOTOS to C. - Peter van Eijk; Harro Kremer; Marten van Sinderen (PSTV, 1990)

Protocol design using LOTOS: A critical synthesis of a standardization experience. - Harro Kremer; Jeroen van de Lagemaat; Axel Rennoch; Giuseppe Scollo (FORTE, 1992)