APA (7th ed.) Citation

Korver, H. P. (1993). A computer checked verification of Milner's scheduler. Centrum voor Wiskunde en Informatica.

Chicago Style (17th ed.) Citation

Korver, Henri P. A Computer Checked Verification of Milner's Scheduler. Amsterdam: Centrum voor Wiskunde en Informatica, 1993.

MLA (9th ed.) Citation

Korver, Henri P. A Computer Checked Verification of Milner's Scheduler. Centrum voor Wiskunde en Informatica, 1993.