Lee, Stanley Sluizer, Suzanne

An Executable Language for Modeling Simple Behavior - 527-543 p.


State Transition Analysis
Declarative Language