Dependent types considered necessary for specification languages (1990)

by T Streicher, M Wirsing
Venue:In Recent Trends in Data Type Spec., volume 534 of LNCS