Peter WolstenholmeBooksModeling software with finite state machinesThe purchase or redemption by a company of its own sharesAuthor data: Open Library