Mechanical Reasoning about Gear-and-belt Diagrams: Do Eye-movements Predict Performance? - Leon Rozenblit; Michael Spivey; Julie Wojslawowicz (Diagrammatic Representation and Reasoning, 2002)

A Compositional Framework for Hardware/Software Co-Design. - Antonio Cau; Roger Hale; Jordan Dimitrov; Hussein Zedan; Ben C. Moszkowski; M. Manjunathaiah; Michael Spivey (Des. Autom. Embed. Syst., 2002)