http://www.cs.washington.edu/education/courses/467/Fall96/lab/abel_state/sample.html
CSE467: Advanced Logic Design
Carl Ebeling, Spring 1996
Sample State Machine Implementation in ABEL
Hopefully this will give you an idea how to construct a simple state
machine in ABEL.
ebeling@cs.washington.edu