Computational Tools in A Unified Object-Oriented Approach - Yair Shapira (Taylor and Francis, 2009)