"An Object Oriented Interpretation of LOTOS."

Elspeth Cusack, Steve Rudkin, Chris Smith (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics