T. Bartolomei, A. Garcia, C. Sant'Anna, и E. Figueiredo. SOQUA '06: Proceedings of the 3rd international workshop on Software
quality assurance, стр. 46--53. New York, NY, USA, ACM, (2006)
J. Swalens, S. Marr, J. De Koster, и T. Van Cutsem. Proceedings of the Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES), том 155 из PLACES '14, стр. 54--60. (апреля 2014)