Arrays in Pure Functional Programming Languages. - Klaus Grue (LISP Symb. Comput., 1989)

Map Theory. - Klaus Grue (Theor. Comput. Sci., 1992)

A kappa-Denotational Semantics for Map Theory in ZFC+SI. - Chantal Berline; Klaus Grue (Theor. Comput. Sci., 1999)

Dedekind completion as a method for constructing new Scott domains. - Klaus Grue (CATS, 2002)

Logiweb. - Klaus Grue (MKM Symposium, 2003)

Logiweb - A System for Web Publication of Mathematics. - Klaus Grue (ICMS, 2006)

The Layers of Logiweb. - Klaus Grue (Calculemus/MKM, 2007)

A synthetic axiomatization of Map Theory. - Chantal Berline; Klaus Grue (Theor. Comput. Sci., 2016)