A "classic reference" in reverse mathematics is the book Subsystems of Second Order Arithmetic (2009) by Stephen Simpson; it is centered around the big five subsystems and contains many more examples of results equivalent in strength to one of these five. Dorais suggests using the two books together as companion volumes.
