APA (7th ed.) Citation

Collins, G., & Gilmore, S. (1994). Supporting formal reasoning about Standard ML.

Chicago Style (17th ed.) Citation

Collins, Graham, and Stephen Gilmore. Supporting Formal Reasoning About Standard ML. Edinburgh, 1994.

MLA (9th ed.) Citation

Collins, Graham, and Stephen Gilmore. Supporting Formal Reasoning About Standard ML. 1994.

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