Programming approach to computability - Kfouty A J; Arbib Michael A; Moll Robert N (New York Springer-Verlag, 1982)
Keywords: Computer science