S. Weißleder. ICST ’10: International Conference on Software Testing, Verification and Validation: Proceedings of the Third IEEE International Conference on Software Testing, Verification, and Validation, Los Alamitos and Calif and Piscataway and N.J, IEEE Computer Society and IEEE, (2010)
Vilkomir,, Sergiy A., and Bowen,, Jonathan P.. ZB ’02: Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B, page 291–308. London and UK, Springer-Verlag, (2002)
Vilkomir,, Sergiy A., and Bowen,, Jonathan P.. COMPSAC ’01: Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development, page 351–356. Washington and DC and USA, IEEE Computer Society, (2001)