A it-Kaci. A Lattice-Theoretic Approach to Computation Based on a Calculus of PartiallyOrdered Type Structures (1984)