Peter Wolstenholme

• Modeling software with finite state machines
• The purchase or redemption by a company of its own shares