-
Luca Cardelli and Rob Pike.
Squeak: a language for communicating with mice.
Proceedings of SIGGRAPH
1985.
-
David Gelernter.
Generative communication in linda.
ACM Transactions on Programming Languages and Systems
80--112, January 1985.
-
D.~Harel.
Statecharts: A visual formalism for complex systems.
Science of Computer Programming
-
Ralph~D. Hill.
Supporting concurrency, communication, and syncronization in
human-computer interaction: The sassafras uims.
ACM Transactions on Graphics
-
Toshiyuki Masui.
User interface specifacation based on parallel and sequential
execution specification.
USENIX'91 Conference Proceedings
Conference Proceedings, January 1991.
-
Brad~A. Myers, Dario Giuse, Roger~B. Dannenberg, Brad~Vander Zanden, David
Kosbie, Marchal Pilippe, Ed~Pervin, and John~A. Kolojejchick.
The garnet toolkit reference manuals: Support for highly-interactive,
graphical user interface in lisp.
Technical Report CMU-CS-89-196, Department of Computer Science,
Carnegie Mellon University, Pittsburgh, PA, 1989.
-
増井俊之.
効率の良いトライ/状態遷移機械の構成方式.
情報処理学会 プログラミング--言語・基礎・実践--研究会研究報告
94-PRG-15, Vol.~94, No.~7, pp. 73--80, January 1994.