A lattice theoretic approach to computation based on a calculus of partially ordered type structures (1984)

by H Ait-Kaci