Title: Selected papers of the 6th Workshop on Mathematical Foundations of Programming Semantics,Kingston, Canada, May 1990
First published: 1993