Journal: International Journal of Man-Machine Studies

Volume 37, Issue 3

265 -- 307Jane M. Fraser, Philip J. Smith, Jack W. Smith. A Catalog of Errors
309 -- 334Ajay S. Vinze. Empirical Verification of Effectiveness for a Knowledge-Based System
335 -- 355Joachim Diederich. Explanation and Artificial Neural Networks
357 -- 385C. W. Johnson, Michael D. Harrison. Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems
387 -- 388Alison Black. Book Review: Envisioning Information, by Edward Tufte
388 -- 389Mike Sharples. Book Review: Hypertext Concepts, Systems and Applications. Proceedings of the European Conference on Hypertext, INRIA, France, November 1990, edited by A. Rizk, N. Streitz, and J. Andre
389 -- 391Patricia Wright. Book Review: Hypertext in Context, by C. McKnight, A. Dillon, and J. Richardson
391 -- 393Jürgen Koenemann-Belliveau. Book Review: Psychology of Programming, edited by J.-M. Hoc, T. R. G. Green, R. Samurcay, and D. J. Gilmore