Implementation of events in LOTOS-specifications (1998)

by J F Groote