Mark P. Jones Using Parameterized Signatures to Express Modular Structure. 68-78 1996 POPL db/conf/popl/popl96.html#Jones96 http://doi.acm.org/10.1145/237721.237731