Loría-Sáenz, C. (1993). A theoretical framework for reasoning about program construction based on extensions of rewrite systems.
Chicago-Zitierstil (17. Ausg.)Loría-Sáenz, Carlos. A Theoretical Framework for Reasoning About Program Construction Based on Extensions of Rewrite Systems. 1993.
MLA-Zitierstil (9. Ausg.)Loría-Sáenz, Carlos. A Theoretical Framework for Reasoning About Program Construction Based on Extensions of Rewrite Systems. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.