Vilkomir,, Sergiy A., и 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, стр. 291–308. London and UK, Springer-Verlag, (2002)
Vilkomir,, Sergiy A., и Bowen,, Jonathan P.. COMPSAC ’01: Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development, стр. 351–356. Washington and DC and USA, IEEE Computer Society, (2001)
Z. Stephenson, Y. Zhan, J. Clark, и J. McDermid. SPLiT ’04: Proceedings of the International Workshop on Software Product Line Testing, стр. 13–18. Boston and MA, (2004)
D. Seifert, S. Helke, и T. Santen. Perspectives of System Informatics, том 2890 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin and Heidelberg, (2003)