Victor Yodaiken Modal Functions for Concise Definition of State Machines and Products. 65-72 1991 40 Inf. Process. Lett. 2 db/journals/ipl/ipl40.html#Yodaiken91