Revista de Informatica Teorica e Aplicada , 11(1), 33–62
February 1, 2004
G. Baranoski, A. Krishnaswamy