APA (7th ed.) Citation

Drosten, K. (1983). Towards executable specification using conditional axioms.

Chicago Style (17th ed.) Citation

Drosten, Klaus. Towards Executable Specification Using Conditional Axioms. Braunschweig, 1983.

MLA (9th ed.) Citation

Drosten, Klaus. Towards Executable Specification Using Conditional Axioms. 1983.

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