APA Style

ZWANENBURG, JAN. (1999). Object-oriented concepts and proof rules: formalization in type theory and implementation in yarrow (1). Eindhoven: Technische Universiteit Eindhoven.

Chicago Style

ZWANENBURG, JAN. Object-oriented concepts and proof rules: formalization in type theory and implementation in yarrow. 1 Eindhoven: Technische Universiteit Eindhoven, 1999. TXB.

MLA Style

ZWANENBURG, JAN. Object-oriented concepts and proof rules: formalization in type theory and implementation in yarrow. 1 Eindhoven: Technische Universiteit Eindhoven, 1999. TXB.

Turabian Style

ZWANENBURG, JAN. Object-oriented concepts and proof rules: formalization in type theory and implementation in yarrow. 1 Eindhoven: Technische Universiteit Eindhoven, 1999. TXB.