Wang S, Barbosa LS, Ribeiro P.? 2008.??An Exercise on Transition Systems. Electronic Notes in Theoretical Computer Science. 207:89-106.