T. Sheard, E. Pasalic 67 1. 2. 2008. Meta-programming With Built-in Type Equality LFM@IJCAR Preuzmi PDF + 1 Computer Science
