APA (7th ed.) Citation

Bakker, J. W. d. (1977). Recursive programs as predicate transformers (Preprint.). Stichting Math. Centrum.

Chicago Style (17th ed.) Citation

Bakker, Jacobus W. de. Recursive Programs as Predicate Transformers. Preprint. Amsterdam: Stichting Math. Centrum, 1977.

MLA (9th ed.) Citation

Bakker, Jacobus W. de. Recursive Programs as Predicate Transformers. Preprint. Stichting Math. Centrum, 1977.

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