A congruence result for impossible futures. Private communication (2005)

by R van Glabbeek