Topics in the Theoretical Bases and Applications of Computer Science - M. Arato - książka wyd. 1986