Software tools for the specification language LOTOS
Software tools for the specification language LOTOS / Peter Herman Johan van Eijk