APA (7th ed.) Citation

Nipkow, T. (1989). Formal verification of data type refinement: Theory and practice.

Chicago Style (17th ed.) Citation

Nipkow, Tobias. Formal Verification of Data Type Refinement: Theory and Practice. Cambridge, 1989.

MLA (9th ed.) Citation

Nipkow, Tobias. Formal Verification of Data Type Refinement: Theory and Practice. 1989.

Warning: These citations may not always be 100% accurate.