The logical framework - Baur, Henning M. (CAB International, 2001)