Contracts for First-Class Classes

by T. Stephen Strickland, Matthias Felleisen