Antisymmetry and Lexicographic Product Relations. - Hartmut Höft (Math. Log. Q., 1981)

On rational solution of the state equation of a finite automation (abstract only). - Ranjan Chaudhuri; Hartmut Höft (ACM Conference on Computer Science, 1987)

Implementation of a non-deterministic loop. - Hartmut Höft (ACM SIGCSE Bull., 1991)

Splaying a search tree in preorder takes linear time. - Ranjan Chaudhuri; Hartmut Höft (SIGACT News, 1993)

Well Ordered Subsets of Linearly Ordered Sets. - Hartmut Höft; Paul E. Howard (Notre Dame J. Formal Log., 1994)