Gilbert, David "A LOTOS to PARLOG Translator, FORTE88 - Formal Description Techniques" pp31-44

(1989) Formal Description Techniques, Ken Turner (Ed), North-Holland 1989  

Languages mentioned LOTOS {1989} Specification language based on temporal ordering