(2009). Algebraic Aspects of Separation Logic. Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)Algebraic Aspects of Separation Logic. Augsburg: Inst. für Informatik, 2009.
MLA-Zitierstil (9. Ausg.)Algebraic Aspects of Separation Logic. Inst. für Informatik, 2009.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.