An algebraic approach to compiler design - Sampaio, Augusto (AMAST series in computing ;, 1997)