Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, 2002, Springer-Verlag.

(2002)