- Rance Cleaveland, Michael W. Mislove, Philip S. Mulry, editors, US-Brazil Joint Workshops on the Formal Foundations of Software Systems, Rio de Janeiro, Brazil, May 5-9, 1997 & New Orleans, LA, USA, November 13-16, 1997. Volume 14 of Electronic Notes in Theoretical Computer Science, Elsevier, 1998.