A tight, practical integration of relations and functions - Boley, Harold (Springer, 1999)