Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance (1991)

by B Krieg-Bruckner, D Sannella
Venue:in SPECTRAL. Proc. Colloq. on Combining Paradigms for Software Development, Joint Conf. on Theory and Practice of Software Development (TAPSOFT