A. Mickish

发表

Garnet: comprehensive support for graphical, highly interactive user interfaces

Roger B. Dannenberg, Brad A. Myers, Dario A. Giuse, 1990, Computer.

The Amulet Environment: New Models for Effective User Interface Software Development

Rob Miller, Brad A. Myers, Andrew Faulring, 1997, IEEE Trans. Software Eng..

The Design for the Amulet User Interface Toolkit

Brad A. Myers, Richard G. McDaniel, Andrew Mickish, 2007 .

4 the Theorem Prover 5 the Proof Management and Database System 3 the Graphical Editor the Real-time Graphical Interval Logic Toolset

Y. S. Ramakrishna, L. Moser, P. Melliar-Smith, 1996 .

The Amulet user interface development environment

Richard G. McDaniel, B. Myers, Robert C. Miller, 1994, CHI Extended Abstracts.