Lattice Programming Methodology. - Kouichi Fukunaga; Shinichi Morishita (LP, 1988)