D.W. Binkley and K.B. Gallagher, Program Slicing. R. Motschnig-Pitrik and R.T. Mittermeir, Language Features for the Interconnection of Software Components. J. Atlee, M. Chechik, and J. Gannon, Using Model Checking to Analyze Requirements and Designs. E. Brynjolfsson and S. Yang, Information Technology and Productivity: A Review of the Literature. W. Gasarch, The Complexity of Problems. F.W. DePiero and M.M. Trivedi, 3-D Computer Vision UsingStructured Light: Design, Calibration, and Implementation Issues. Chapter References. Subject Index.