Deductive program design
MLA
Broy, M. and North Atlantic Treaty Organization. Deductive program design. Berlin ; New York : Springer, [1996]
APA
Broy, M. & North Atlantic Treaty Organization. (1996). Deductive program design. Berlin ; New York : Springer.
Chicago
Broy, M. and North Atlantic Treaty Organization. Deductive program design. Berlin ; New York : Springer, [1996]