APA Style

Partsch, Helmut A.. (1990). Specification and transformation of programs : a formal approach to software development . Berlin: Springer.

Chicago Style

Partsch, Helmut A.. Specification and transformation of programs : a formal approach to software development. Berlin: Springer, 1990. Book.

MLA Style

Partsch, Helmut A.. Specification and transformation of programs : a formal approach to software development. Berlin: Springer, 1990. Book.

Turabian Style

Partsch, Helmut A.. Specification and transformation of programs : a formal approach to software development. Berlin: Springer, 1990. Book.