[aappleby]

Buried in this paper is a mention of "Applicative State Transition Systems", a programming paradigm that never caught on.

[rightbyte]

It is awesome for embedded realtime programming. State charts are quite nice to reason about for control systems.