Planning and understanding a computational approach to human reasoning - Wilensky, Robert 1951- (Addison-Wesley, 1983)