14. WADT 1999:
Château de Bonas, France
Language, Methodology and Tools
Jo Erskine Hannay
: Specification Refinement with System F - The Higher-Order Case.
: Specifications in an Arbitrary Institution with Symbols.
Specification of Processes and Interactions
: A Uniform Model Theory for the Specification of Data and Process Types.