Specification refinement with System F (1999)

by J Hannay
Venue:In Proc. CSL'99, volume 1683 of LNCS