Combine State Dependent Transactions with the State ADT by Ian Hofmann-HicksCombine State Dependent Transactions with the State ADT
egghead