M. zur Muehlen, and J. Recker. Advanced Information Systems Engineering, volume 5074 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
J. Bowen, and M. Hinchey. Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 219-233. Springer, (2009)
L. Crowley, M. Thomas, and D. Tall. Proceedings of the 18th International Conference for the Psychology of Mathematics Education (PME), II, page 240--247. Lisbon, Portugal, (1994)