An introduction to the theory of computation - Gurari, Eitan (Computer Science Press, 1989)
Βιβλιογραφία : σσ.302-307