Software support for computer science video courses. - Karen Van Houten (ACM SIGCSE Bull., 1987)

On the Use of Binary Strings to Represent Tree Structures. - Paul W. Oman; Karen Van Houten (Comput. J., 1992)

(In)Formal Methods: Teaching Program Derivation Via the Moore Method. - James A. Foster; Michael Barnett 001; Karen Van Houten; Luke Sheneman (Comput. Sci. Educ., 1995)