Inside relational databases - WHITEHORN (Springer, 2001)