Generic Process Algebra: A Programming Challenge. - Paula R. Ribeiro; Marco Antonio Barbosa; Luís Soares Barbosa (J. Univers. Comput. Sci., 2006)

An Exercise on Transition Systems. - Paula R. Ribeiro; Luís Soares Barbosa; Shuling Wang (TTSS, 2007)