Ottawa Euclid

Dan Craigen et al

As opposed to Toronto Euclid. An enhancement of Euclid with formal specification methods.