Wehrheim, H. (1993). Parametric action refinement. Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)Wehrheim, Heike. Parametric Action Refinement. Hildesheim: Inst. für Informatik, 1993.
MLA-Zitierstil (9. Ausg.)Wehrheim, Heike. Parametric Action Refinement. Inst. für Informatik, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.