A relational notation for state transition systems (1990)

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