Books about Processor modelling and code generation techniques for retangeable compilation