APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Bakker, Jacobus W. de. Recursive Programs as Predicate Transformers. Preprint. Amsterdam, 1977.

MLA (9th ed.) Citation

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

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