J. Goguen. Proc. Conf. Discrete Mathematics and Theoretical Computer Science, volume 21 of Australian Computer Science Communications, page 35--59. (1999)
T. Gîrba, S. Ducasse, and M. Lanza. Proceedings of the International Conference on Software Maintenance, page 40--49. Chicago, Illinois, IEEE Press, (2004)