Mathematical Foundations Of Computer Science, 1997 by Igor Privara