2 works on record
Modeling software with finite state machines
The purchase or redemption by a company of its own shares