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)