Specification of a Distributed Coordination Function in LOTOS. - Ing Widya; Franck Sadoun; Gert-Jan van der Heijden (FORTE, 1991)

Towards an Implementation-oriented Specification of TP Protocol in LOTOS. - Ing Widya; Gert-Jan van der Heijden (FME, 1993)