McGraw-Hill, 439 p, 1999.
For details see: http://mcgraw-hill.co.uk/gruska
Thomson International Computer Press, 716 p. 1997.
For details see: http://www.fi.muni.cz/usr/gruska/foundations.html
For more details see: http:www.fi.muni.cz/usr/gruska/foundationsd.html