1. Verisoft XT: The Verisoft XT project (2007),
http://www.verisoftxt.de
2. Lecture Notes in Computer Science;M. Barnett,2005
3. Lecture Notes in Computer Science;M. Barnett,2006
4. Lecture Notes in Computer Science;L. Moura de,2008
5. Jacobs, B., Piessens, F., Leino, K.R.M., Schulte, W.: Safe concurrency for aggregate objects with invariants. In: Aichernig, B.K., Beckert, B. (eds.) SEFM 2005, pp. 137–147. IEEE, Los Alamitos (2005)