1. Verisoft XT: The Verisoft XT project (2007), http://www.verisoftxt.de
2. ENTCS;E. Cohen,2009
3. Lecture Notes in Computer Science;C. Flanagan,2002
4. 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)
5. Lecture Notes in Computer Science;S. Maus,2008