@misc{9449, author = {Jo Hannay}, title = {Specification Refinement in System F, the Higher-Order Case}, year = {1999}, journal = {Recent Trends in Data Type Specification, Selected papers of the 14th International Workshop on Algebraic Development Techniques (WADT{\textquoteright}99), Chateau de Bonas, France, LNCS volume 1827}, pages = {162-181}, publisher = {Springer-Verlag}, }