A.: Implementation and behavioural equivalence : a survey (1993)

by F Orejas, M Navarro, Sánchez
Venue:In: Recent Trends in Data Type Specification. Volume 655 of LNCS