HOL-ML. ibid (1994)

by M VanInwegen, E Gunter
Venue:The Computer Journal