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