Xu, Q., Roever, W. d., & He, J. (1995). Rely guarantee method for verifying shared variable concurrent programs. Inst. für Informatik und Praktische Mathematik.
Chicago-Zitierstil (17. Ausg.)Xu, Qiwen, Willem-Paul de Roever, und Jifeng He. Rely Guarantee Method for Verifying Shared Variable Concurrent Programs. Kiel: Inst. für Informatik und Praktische Mathematik, 1995.
MLA-Zitierstil (9. Ausg.)Xu, Qiwen, et al. Rely Guarantee Method for Verifying Shared Variable Concurrent Programs. Inst. für Informatik und Praktische Mathematik, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.