This use case format was taken from The Pragmatic Programmer by Hunt and Thomas. See Alistair Cockburn's Basic use case template.