Graham, Susan L., Harrison, Michael A. and Ruzzo, Walter L. 1976. “On Line Context Free Recognition in Less Than Cubic Time.”Manuscript, University of California at Berkeley.
Harrison, Michael A. and Thimbleby, Harold, eds. 1990. Formal Methods in Human-Computer Interaction. Cambridge: Cambridge University Press.