TY  - SER
AU  - Lee, Stanley
AU  - Sluizer, Suzanne
TI  - An Executable Language  for  Modeling Simple Behavior
KW  - State Transition Analysis
KW  - Declarative Language
ER  -