R. Veldema, R. Hofman, R. Bhoedjang, C. Jacobs, и H. Bal. PPoPP '01: Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming, стр. 83--92. New York, NY, USA, ACM, (2001)
K. Verstoep, H. Bal, J. Barnat, и L. Brim. Distributed Verification and Grid Computing, том 08332 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)