A Logical Approach - Shiu-Kai Chin; Susan Beth Older (Taylor and Francis, 2010)