Programming in 1991

From Memex to Hypertext by Nyce, James M., Kahn, Paul

Algebraic Computing in Control: Proceedings of the First European Conference Paris, March 13-15, 1991 by

The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna, Zohar, Pnueli, Amir

Artificial Neural Networks for Computer Vision by Zhou, Yi-Tong, Chellappa, Rama