The Coq Development Team (1997)

by D Burger, T M Austin