Nipkow, T. (1989). Formal verification of data type refinement: Theory and practice.
Chicago-Zitierstil (17. Ausg.)Nipkow, Tobias. Formal Verification of Data Type Refinement: Theory and Practice. Cambridge, 1989.
MLA-Zitierstil (9. Ausg.)Nipkow, Tobias. Formal Verification of Data Type Refinement: Theory and Practice. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.