S. de Carvalho, and T. de Oliveira. US-Brazil Joint Workshops on the Formal Foundations of Software Systems, volume 14 of Electronic Notes in Theoretical Computer Science, page 86-93. Elsevier, (1997)
S. de Carvalho, S. de O. Cruz, and T. de Oliveira. US-Brazil Joint Workshops on the Formal Foundations of Software Systems, volume 14 of Electronic Notes in Theoretical Computer Science, page 94-106. Elsevier, (1997)