Ajay S. Vinze: Empirical Verification of Effectiveness for a Knowledge-Based System. 309-334
Joachim Diederich: Explanation and Artificial Neural Networks. 335-355
C. W. Johnson, Michael D. Harrison: Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems. 357-385
Book Reviews
Alison Black: Book Review: "Envisioning Information, " by Edward Tufte. 387-388
Mike 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. 388-389
Patricia Wright: Book Review: "Hypertext in Context," by C. McKnight, A. Dillon, and J. Richardson. 389-391
Jürgen Koenemann-Belliveau: Book Review: "Psychology of Programming, " edited by J.-M. Hoc, T. R. G. Green, R. Samurcay, and D. J. Gilmore. 391-393
Volume 37, Number 4, 1992
Structure-Based Editors and Environments
Lisa Neal, Gerd Szwillus: Introduction: Structure-Based Editors and Environments. 395-397
Sten Minör: Interacting with Structure-Oriented Editors. 399-418
Clive Warren: Panel Session at the HCI'92 Conference, York, UK: "HCI - Where's the Practice". 811-812
Stephen W. Draper: Book Review: Activity Theory: The New Direction for HCI? "Designing Interaction: Psychology at the Human-Computer Interface," edited by J. M. Carroll. 812
Stephen W. Draper: Book Review: Activity Theory: The New Direction for HCI? "Through the Interface: A Human Activity Approach to User Interface Design," by S. Bodker. 812-821