Anhtuan Q. Dinh
George Mason Univ., Fairfax, VA
The state-machine pattern
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada