G. Kyriakopoulos, K. Kolovos, and M. Chalikias. WSKS (2), volume 112 of Communications in Computer and Information Science, page 19-25. Springer, (2010)
D. Kolovos, R. Paige, and F. Polack. Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 204-218. Springer, (2009)
H. Treharne, E. Turner, R. Paige, and D. Kolovos. TOOLS (47), volume 33 of Lecture Notes in Business Information Processing, page 357-367. Springer, (2009)