### 7 papers:

- CADE-1992-Chou #geometry #proving #theorem proving
- A Geometry Theorem Prover for Macintoshes (SCC), pp. 686–690.
- ECHT-1990-Bechtel #hypermedia
- Inside Macintosh as Hypertext (BLB), pp. 312–323.
- SEI-1989-WerthW #education #object-oriented #programming #using
- Teaching Object-Oriented Programming Using the Macintosh MPW/MacApp Environment (LHW, JW), pp. 141–155.
- CAiSE-1989-LagerkvistN #automation #how #tool support
- How to Succeed with Modern Tools such as the CASE tool “Deft” on the Macintosh (CL, ÅN).
- RTA-1989-BonacinaS #equation #named #proving #theorem proving
- KBlab: An Equational Theorem Prover for the Macintosh (MPB, GS), pp. 548–550.
- ICSE-1988-NakagawaFTS #algebra #specification #using
- Algebraic Specification of Macintosh’s Quickdraw Using OBJ2 (ATN, KF, ST, TS), pp. 334–343.
- HCI-CE-1987-Nielsen #case study #user interface
- A User Interface Case Study of the Macintosh (JN), pp. 241–248.