Logic in Computer Science Modelling and Reasoning about Systems - Huth, Michael; Ryan, Mark (New Delhi Cambridge University Press, 2004)
Keywords: Object oriented design,Computer programming005.1