A relational notation for state transition systems (1990)

by S Lam, U Shankar
Venue:IEEE Transactions on Software Engineering