Normal form approach to compiler design C. A. R. HoareHe JifengA. Sampaio OriginalPaper Pages: 701 - 739
A characterisation of meet and join respecting pre-orders and congruences on finite lattices John Buckle OriginalPaper Pages: 773 - 785