web/gramco/automata.org : designing an fsm library for pascal
draft: composing a state machine
drafts: vorunati algebra, how to escape from pascal