Problem frames : - Jackson, M. A. (Addison-Wesley, 2001)