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