A state diagram for the specification given above is depicted in Figure 3b and its partial implementation is shown in ... click here. State-Oriented Programming Miro Samek and Paul Montgomery ...