Domain References

[Afrati 90]

[Akscyn 88]

[Alexander 77]

[Allesi 91]

[Appino 92]

[Apple 91] [Arnheim 71]

233

F. Afrati, and C.D. Koutras. "A Hypertext Model Supporting Query Mechanisms", in Proceedings of the European Conference on Hypertext. A. Rizk, N. Streitz, J. Andre, "Hypertext: Concepts, Systems and Applications", pp. 52-66, 1990. R.M. Akscyn, D.L. McCracken, E.A. Yoder. "KMS: A Distributed Hypermedia System for Managing Knowledge in Organizations", Communications of the ACM, Vo1.31, N°.7, July 1988. C. Alexander, S. Ishikawa, M. Silverstein, M. Jacobson, I. Fiksdahl-King, and S. Angel. A Pattern Language. Oxford University Press, New York 1977. S. Allesi, and S. Trollip. Computer-based instruction: Methods and development, New Jersey: Prentice Hall Inc, 1991. P. Appino, J. Lewis, L. Koved, and al. "An Architecture for Virtual Worlds", Presence, MIT Journals, Vol. 1, N°.1, Winter 1992. Apple Computer Inc. QuickTime 1991. R Arnheim. Entropy and Art: an essay on disorder and order, Berkeley: University of California Press, 1971.

[Authorware 88] Authorware, "Tutorial Lessons." Authorware, Inc., Minneapolis, MN., 1988.

[Balasubramaniam 94] P. Balasubramaniam, T. Isakowitz, and E. Stohr. "Designing Hypermedia Applications", in Proceedings of the 27th. Hawaii International Conference on System Sciences, Hawaii, Jan. 1994.

[Banet 95]

[Banker 93]

[Basili 91]

[Bentley 86]

[Beeri 90]

[BenMrad 94]

B. Banet. "Encyclopedias on CD-ROM: The Market Advances," Seybold Report on Desktop Publishing, 9(6):3-16, Feb. 1995. RD. Banker, T. Isakowitz, RJ. Kauffman, R Kumar, and D. Zweig. "Tools for managing repository objects", in Analytical methods for software engineering economics II, P.T. Geriner, T. Gulledge and W. P. Hutzler, Eds. New York: Springer­Verlag, 1993. V. Basili, and J. Musa. "The Future Engineering of Software: A Management Perspective", in IEEE Software, Vol. 24 N° 9, pp. 90-96, Sep. 1991. J. Bentley. "Programming Pearls: Sampling", CACM, May 1986. C. Beeri, and Y. Kornatzky. "A Logical Query Language for Hypertext Systems", Proc. of the European Conference on Hypertext ECHT'90, France, pp. 67-80, Nov. 1990. M. Benmrad, "Agregats et composition de requetes dans les hypertextes virtuels", These de doctorat no 1284, Ecole Poly technique Federale de Lausanne, Suisse, 1994.

234

[Bemers-Lee 92]

[Bemers-Lee 92]

[Bemers-Lee 92]

[Berners-Lee 94]

[Bernstein 88]

[Bernstein 91]

[Bernstein 91]

[Bernstein 92]

[Bernstein 93]

[Bigelow 87]

[Bilotta 95]

[Bilotta 95]

[Bharat 94]

TJ. Berners-lee, R. Cailliau, and J.F. Groff. "The World Wide Web", Computer Networks and ISDN Systems, 25, Elsevier Science Publishers, pp. 454-459, North-Holland, 1992. T. Berners-Lee, R. Cailliau, J.F. Groff, and B. Pollermann. "World Wide Web: An Information Infrastructure for High Energy Physics", In Proceedings of the Workshop on Software Engineering, Artificial Intelligence and Expert Systems for High Energy and Nuclear Physics, 1992 T. Berners-Lee, R. CaiIIiau, J. Groff, and B. Pollermann. "World Wide Web: The Information Universe", in Electronic Networking: Research, Applications and Policy, 2(1):52-58, 1992, Meckler Publishing, Westport, CT, USA, 1992. T. Berners-Lee, R.Cailliau, A. Luotonen, H. F. Nielsen, and A. Secret. "The World-Wide-Web". In Communications of the ACM, Vol.37 N°8, p. 76, August 1994. M. Bernstein. "The bookmark and the compass: orientation tools for hypertext users", ACM SIGOIS Bulletin, 9(4):34-45. october 1988. M. Bernstein, F. Garzotto, P. Paolini, and D. Schwabe. "Tools for designing hyperdocuments". In Hypertext, Hypermedia Handbook, pages 179-209. Mc Graw Hill, 1991. M. Bernstein, J.D. Bolter, M. Joyce, and E. Mylonas. "Architectures for Volatile Hypertexts", in Hypertext 91 Proceedings, ACM, ~altimore, 1991. M. Bernstein, M. Joyce, and D. Levine. "Contours of Constructive Hypertext", in ECHT 92 Proceedings, ACM, Baltimore, pp. 161-1701992. M. Bernstein. "Enactment in Information Farming", in Proceedings of the fith ACM conference on Hypertext, Seattle, Washington, USA, pp. 242-249, Nov. 1993. J. Bigelow. and V. Riley. "Manipulating Source Code in Dynamic Design", in Hypertext'87 Proceedings, pp. 397-408, 1987. E. Bilotta, M. Fiorito, D. Iovane, and P. Pantano. "Technological Innovation and Museums: towards a new model of interactive museums", In Proceedings of the "International Conference on Hypermedia & Interactivity in Museums '95", San Diego, California, October 10th-13th, 1995. E. Bilotta, M. Fiorito, and P. Pantano. "An Educational Environment Using WWW", In Proceedings of the Third International World- Wide- Web Conference, Elsevier Publisher, Darmastadt Germany 1995. K. Bharat, and M.H. Brown. "Building Distributed Multi-User Applications By Direct Manipulation", in Proceedings of the ACM Symposium on User Interfaces Software and TEchnology, Marina Del Ray, CA, pp. 71-82, November 1994.

[Bharat 95]

[Bobes 89]

[Bolter 91]

[Bork 85]

[Botafogo 92]

[Botafogo 93]

[Bovair90]

[Brown 90]

[Brown 90]

[Buchanan 92]

[Cardelli 95]

[Carneiro 94a]

[Carneiro 94b]

[~94]

235

K. Bharat, and M.H. Brown. "Building A Distributed Application Using Visual Obliq", to appear in CH1'95, Video Proceedings, 1995. M. Bobes. "Semiology", Ed. Sintesis, Madrid, pp. 19-36, 1989. J.D. Bolter. Writing Space: The Computer. Hypertext. and the History of Writing, hypertext edition, hypertext for Macintosh computers, Lawrence Erlbaum and Associates, Hillsdale NJ. 1991. A. Bork. "Personal computer for education", New York: Harper & Row Publisher, 1985. R. Botafogo, E. Rivlin, and B. Shneiderman. "Structural analysis of hypertexts: Identifying hierarchies and useful metrics", in ACM Transactions on Information Systems, 10(2):142-180, April 1992. R.A. Botafogo. "Cluster Analysis for Hypertext Structures", in Proceedings of SIGIR'93, Pittsburgh, pp. 116-125, July 1993. S. Bovair, D.E. Kieras, and P.O. Polson. "The acquisition and performance of text-editing skill: A cognitive complexity analysis", Human Computer Interaction, 5, pp. 1-48, 1990. M. Brown. "A Hypertext for Literate Programming", in S. O. Akl, F. Fiala, W. W. Koczkodaj, Advances in Computing and Information, ICCI'90. Lecture Notes in Computer Science No. 468, Springer Verlag, pp. 250-259, 1990. M. Brown, and B. Childs. "An Interactive Environment for Literate Programming", Journal of Structured Programming, 11(1), 1990. M. Buchanan, T. Zellweger. "Specifying Temporal Behavior in Hypermedia Documents", in Proceedings of the European Conference on Hypertext'92, pp. 262-271, Dec. 1992. L. Cardelli. "A Language with Distributed Scope", in Proceedings of the 22nd Annual ACM Symposium on Principles of Programming Languages, pp. 286-297, January 1995. L.M.F. Carneiro, M.H. Coffin, D.D. Cowan, and C.J.P. Lucena. "ADVcharts: a Visual Formalism for Highly Interactive Systems". In M.D. Harrison and C. Johnson editors, Software Engineering in Human-Computer Interaction. Cambridge University Press, 1994. L.M.F. Carneiro-Coffin. Jasminum: Joining ADVs and State Machines in a Notation for User-Interface Modeling. PHD Thesis, University of Waterloo, 1994. J. Car~, and J.P. Hedegard. Templates in Hypertext, Masters Thesis, Aalborg University, Department of Mathematics and Computer Science. 1994. (In Danish)

236

[Casanova 91]

[Casetti 77]

[Catlin 91]

[Chrisment 91]

[Chrisment 93]

[Coleman 92]

[Collins 87]

[Comparot 94a]

[Comparot 94b]

[Conklin 88]

[Consens 89]

[Cordes 91]

[Cowan 93]

[Cowan 95]

[Cramer 94]

M. Casanova, L. Tucherman, J.L. Neto, N. Rodriguez, and L.Soares, "The nested context model for hyperdocuments", in Proceedings of Hypertext '91, 1991. F. Casetti. Semiotica. Edizioni Accademia, Milano, pp. 17-63, 1977. K.S. Catlin, L.N. Garrett, and J.A. Launhardt. "Hypermedia Templates: An Author's Tool", in Proceedings of the Hypertext'91 Conference, pp. 147-160, 1991. C. Chrisment C, F. Sedes, and al. "Using classification in a Hypertext Information Retrieval System", in Proceedings RIAO'91, Barcelone, 1991. C. Chrisment, F. Sedes, and al. "Hyperdocument Structuration, Management and Exchange in an Object­Oriented Database", Second Annual Symposium on Document Analysis and Information Retrieval, Las Vegas (USA), April 1993. D. Coleman, F. Hayes, and S. Bear. "Introducing Objectcharts or how to use Statecharts in Object-Oriented Design". IEEE Transactions on Software Engineering, 18(1): 9-18, January 1992. A. Collins. "A sample dialogue based on a theory of inquiry teaching" in C.M. Reigeluth (Eds.), Instructional theories in action: Lessons illustrating selected theories and models. Hillsdale, NJ., 1987. C. Comparot. Hyperbase : Formalisation et architecture. These de doctorat de l'Universite Paul Sabatier de Toulouse, Janvier 1994. C. Comparot. "Hyperbase pour la gestion electronique de documents techniques", Revue lSI, HERMES Ed., Decembre 1994. J. Conklin, and M.L. Begeman. "glBIS: A Hypertext Tool for Exploratory Policy Discussion", ACM Transaction on Office Information Systems, 6(4):303-331, October 1988. M.P. Consens, and A.O. Mendelzon. "Expressing structural hypertext queries in GraphLog and Datalog", in Proceedings of Hypertext'89, Pittsburgh, PA, pp. 269-292, 5-8 Nov. 1989. D. Cordes, and M. Brown. "The Literate-Programming Paradigm", Computer Journal, June 1991. D.D. Cowan, R. Ierusalimschy, C.J.P. Lucena, and T.M. Stepien. "Abstract Data Views". Structured Programming, 14(1):1-13, January 1993. D.D. Cowan, and C.J.P.Lucena. "Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse". in IEEE Transactions on Software Engineering, 21(3), March 1995. K. Cramer. "In Small & Large Pieces", Eastgate Quarterly Review of Hypertext 1(3), hypertext for Macintosh and Windows, 1994.

[Crane 91]

[Davis 92]

[Davis 94]

[DelobeI91]

[Dent 92]

[De Roure 94]

[Diaz 94]

[Diday 82]

[Don 91]

[Douglas 94]

[Eco 91]

[Elmasri 90]

[Engelbart 62]

[Foss 89]

237

G. Crane, and al. Perseus, hypertext for Macintosh computers, Yale University Press, 1991. H. Davis, W. Hall, I. Heath, G. Hill, and R. Wilkins. "Towards an Integrated Information Environment with Open Hypermedia Systems", in Proceedings of the Fourth ACM Conference on Hypertext (ECHT '92). D. Lucarella, J. Nanard, M. Nanard, P. Paolini Eds., Milan, Italy, pp 181 - 190, December 1992. H. Davis, S. Knight, and W. Hall. "Light Hypermedia Link Services: A Study of Third Party Application Integration", in Proceedings of the Sixth ACM Conference on Hypertext, ACM Press, pp. 41-50, Edinburgh, Scotland, September 1994. C. Delobel, C. Lecluse, and P. Richard. Bases de donnees,' des systemes relationnels aux systemes a objets. InterEditions, 1991. L. Dent, J. Boticario, J. Me Dermott, T. MitcheIl, and D. Zabowski. "A Personal Learning Apprentice", in Proceedings of the National Conference on Artificial Intelligence, MIT Press, 1992. D. De Roure, G. Hill, W. HaIl, and L. Carr. "A Scalable, Distributed Multimedia Information Environment", In: The Information Age, Proceeding of Mediacomm '95, pp. 77-80, Southampton, UK, April 11-12 1995. M. Diaz, and P. Senac. "Time stream petri nets - a model for timed multimedia information", in Application and Theory Petri Nets, pp. 291-238, Springer, 1994. E. Diday, J. Lemaire, J. Pouget, and F. Testu. Elements d'analyse de donnees. Dunod, 1982. A. Don, T. Oren, and B. Laurel. "Guide 3.0", in CHI 91 Proceedings, ACM, New York, 1991. pp. 447-8 J.Y. Douglas. "I Have Said Nothing", hypertext for Macintosh and Windows, Eastgate Quarterly Review of Hypertext I (2),1994. U. Eco. A Theory of Semiotics. Ed. Lumen, Barcelona, pp. 9-15, 1991. R. Elmasri, and S. Navate. Fundamental of Database Systems. The Benjamin/Cummings Publishing Company, second edition, 1990. D.C. Engelbart. "Augmenting Human Intellect. A Conceptual Framework", In Research Report AFOSR-3223, Stanford Research Institute, MenloPark, California. Exploratorium at San Francisco, 1962, URL=3D http://www.exploratorium.edu. C.L. Foss. Detecting lost users: Empirical studies on browsing hypertext. Technical Report 972, INRIA, FRANCE, Fevrier 1989.

238

[Fountain 90]

[Fox 91]

[Fujikawa 91]

[Furnas 86]

[Furuta 89]

[Furuta 89]

[Furuta 90]

[Gamma 94]

[Garrett 86]

[Garzotto 91]

[Garzotto 91a]

[Garzotto 91b]

[Garzotto 93]

A. Fountain, W. Hall, I. Heath, and H. Davis. "Microcosm: an Open Model With Dynamic Linking", in A. Rizk, N. Strietz, J. Andre, Eds Hypertext: Concepts, Systems and Applications. Proceedings of the European Conference on Hypertext, , pp 298 - 311, INRIA, France, November, 1990. E.A. Fox, Q.F.Chen, and R.K. France. Integrating search and retrieval with hypertext. In Hypertext, Hypermedia Handbook, pages 179-209. Mc Graw Hill, 1991. K. Fujikawa, and S. Shimojo. "Multimedia Presentation System Harmony with Temporal and Active Media", USENIX Summer'91, Nashvile TN, pp. 75-93, 1991. G.W. Furnas. Generalized fisheye views. In Proc. Human Factors in Computing Systems (CHI'86). ACM Press, 1986. R. Furuta, and P.D. Stotts, "Programmable Browsing Semantics in Trellis", in Proceedings Hypertext 89. ACM, pp. 27-42, Baltimore, 1989. R. Furuta. "Concepts and Models for Structured Documents", Structured Documents. Cambridge Univ. Press, 1989. R. Furuta, and D. Stotts. "The Trellis Hypertext Reference Model", In Proceedings of the Hypertext Standarization Workshop, National Institute of Standards and Technology, pp. 83-93, January 1990. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements -of reusable object-oriented software. Addison Wesley, 1994 L.N. Garrett. K.E. Smith. and N. Meyrowitz. "Intermedia: Issues, Strategies, and Tactics in the Design of a Hypermedia Document System", in Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW-86), pp. 163-174, December 1986. F. Garzotto, P. Paolini, and D. Schwabe, "HDM - A Model for the Design of Hypertext Applications", in Proceedings of the third ACM Conference on Hypertext, ACM Press, pp. 313-328, San Antonio, Texas, December 1991. F. Garzotto, P. Paolini, and D. Schwabe. "Authoring in the large: Software Engineering Techniques for Hypertext Application Design". in Proc.6th IEEE Int'l Workshop on software specification and design", Como, Italy, September 1991 F. Garzotto, P. Paolini, D. Schwabe, and M. Bernstein. "Tools for designing hyperdocuments". in HypertextlHypermedia handbook", Emily Berk (ed), McGraw­Hill, Software engineering series, pp 179-207, 1991. F. Garzotto, D. Schwabe, and P. Paolini. "HDM- A Model Based Approach to Hypermedia Application Design", ACM Transaction on Office Information Systems, 11(1):1-26, January 1993.

[Garzotto 93a]

[Garzotto 94]

[Goose 94]

[Gronbaek 92]

[Gronbaek 94]

[Gronbaek 94]

[Grosky 94]

[Halasz 87]

[Halasz 88]

[Halasz 90]

[Halasz 91]

[Halasz 94]

[Hamakawa 93]

[Hammond 89]

[Hammond 93]

239

F. Garzotto, L. Mainetti, and P. Paolini. "HDM2: Extending the e-r approach to hypermedia application design", in ER'93, pp. 175-186, Springer, 1993. F. Garzotto, L. Mainetti, and P. Paolini. "Adding Multimedia Collections to Dexter Model", in Proceedings of the European Conference on Hypertext ECHT'94, ACM Press, Edinburg, ScottI and, pp. 70-80, September 1994. S. Goose, and Wendy Hall. Enriching Audio Support In A Hypermedia System. CSTR 94-03, Southampton University, U.K. K. Gronbaek, and RH. Trigg. "Design Issues for a Dexter­based Hypermedia System", in Proceedings of the European Conference on Hypertext ECHT'92, Milano, Italy, pp. 191-200, Nov. 1992. K. Gronbaek, and RH. Trigg. "For a Dexter-based Hypermedia System", CACM 37(2), pp. 41-49, Febr. 1994. K. Gronbaek. "Composites in a Dexter-Based Hypermedia Framework", in Proceedings of the A CM European Conference on Hypermedia Technology, Edinburgh, 1994. W. Grosky. "Multimedia Information Systems", in IEEE Multimedia, 1(1):12-24, 1994. F. G. Halasz, T. P. Moran, and R H. Trigg. "Notecards in a nutshell", In Proc. Human Factors in Computing Systems (CHI'87), pages 45-52. ACM Press, 1987. F.G. Halasz. "Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems", CACM, VoI.31(7), pp. 836-852, July 1988. F.G. Halasz, and M. Schwartz. "The Dexter Hypertext Reference Model", In Proceedings of the Hypertext Standarization Workshop, National Institute of Standards and Technology, pp. 95-133, January 1990. F.G. Halasz. "Seven Issues: Revisited", Hypertext'91 Keynote Talk, copy of the slides, San Antonio, Texas, Dec. 1991 F. Halasz, and M. Schwartz. "The Dexter Hypertext Reference Model", Communciations of the ACM, 37(2):30-39, February 1994. R Hamakawa, and J. Rekimoto. "Object Composition and Playback Models for Handling Multimedia Data", In Proc. ACM Multimedia 93, Aug. 1993. N. Hammond, and L. Allinson. "Extending Hypertext for learning: an investigation of access and guidance tools", in A. Sutcliffe & L. Macaulay (eds.) People and Computers V, Cambridge: Cambridge University Press, 1989. N. Hammond. "Learning with Hypertext: Problems, Principles and Prospects", Hypertext - A Psychological Perspective, C. McKnight, A. Dillon, J. Richardson, eds., Ellis Horwood, pp. 51-69, 1993.

240

[Hannemann 93]

[Hara 91]

[Hardman 93a]

[Hardman 93b]

[Hardman 93c]

[Hardman 94]

[HareI87]

[HciBib94]

[Heath 92]

[Henderson 80]

[Hill 93]

[Hill 94]

[HyTime 92] [ICON 95]

[IEF90]

[Isakowitz 95]

J. Hannemann, and M. Thiiring. "What matters in developing interfaces for hyperdocument presentation ?", in Workshop in Methodological Issues on the Design of Hypertext-based User Interfaces, Darmstadt, Germany, July 1993. Y. Hara, A.M. Keller, and G. Wiederhold. "Implementing Hypertext Database Relationships through aggregations and Exceptions", Proc. of Hypertext'91, San Antonio, Texas, pp. 75-90, Dec. 1991. L. Hardman, and at. "The Amsterdam Hypermedia Model: Extending Hypertext to Support REAL Multimedia", HYPERMEDIA Vol.5 N°}, pp. 47-69, 1993. L. Hardman, and at. "Links in Hypermedia: the Requirement for Context", In Proceedings of Hypertext'93, pp. 183-191, Nov. 1993. L. Hardman, G. Van Rossum, and D.C.A. Bulterman. "Structured Multimedia Authoring", In Proceedings of ACM MULTIMEDIA '93, Aug. 1993. L. Hardman, D.C.A. Bulterman, and G. Van Rossum. "The Amsterdam Hypermedia Model", Communications of the ACM, 37(2):50-62, Feb. 1994. D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. "On the formal semantics of statecharts". Proc. 2nd. IEEE Symposium on Logic in Computer Science, Ithaca, N.Y., June 1987. Available on-line ,at ftp archive.cis.ohio-state.edu or http://hyperg.tu-graz.ac.at:80/23OC57BD/Chcibib I. Heath. An Open Model for Hypermedia: Abstracting Links from Documents. Ph.D. Thesis, University of Southampton, UK,1992. P. Henderson, "Functional Programming: Application and Implementation", Prentice-Hall, Englewood Clifs, 1980. G. Hill, R. Wilkins, and W. Hall. "Open and Reconfigurable Hypermedia Systems: A Filter Based Model", Hypermedia, 5(2), 1993. G. Hill, and W. Hall. "Extending the Microcosm model to a Distributed Environment", In Proceedings of the Sixth ACM Conference on Hypertext, ACM Press, pp. 32-40, Edinburgh, Scotland, September 1994. ISO. m. ISOIIEC 10744, 1992. ICON Programming Specification. http://www.cs.arizona.eduliconlwww/reference.htrnl Information Engineering Facility (IEF) technology overview, 2nd edition, TI Part # 2739900-8027, Nov. 1990 T. Isakowitz, E.A. Stohr, and P. Balasubramaninan. "RM: A Methodology for Structured Hypermedia Design", Communications of the ACM, August 1995.

[ISO 86]

[ISO 89]

[ISO 91]

[Jonassen 90]

[Jonassen 92]

[Jones 92]

[Joyce 90]

[Joyce 91]

[Kafai 94]

[Kahn 90]

[Kahn 93]

[Kahn 94]

[Kahn 95]

241

International Standards Organization. Text and Office Systems -Standard Generalized Markup Language, Document Number: ISO 8879-1986(E), October 1986. Internation Standards Organization. Text and Office Systems -Office Document Architecture (ODA) and Interchange Format, International Standard 8613, 1989. International Standards Organization. Final Text, ISOIIEC CD 10179, Information Technology - Text and Office Systems -Document Style Semantics and Specification Language (DSSSL), ISOIIEC Draft International Standard 10179, 1991. D.H. Jonassen. Hypertext as instructional design. Educational Technology: Research and Development, 1990. D.H. Jonassen. "Designing hypertext for learning", In E. Scanlon & R. T. O'Shea (Eds.), New directions in educational technology (pp. 123-130). Berlin Heidelberg: Springer Verlag, 1992. R.A. Jones, and R. Spiro. "Imagined Conversations: The Relevance of Hypertexts, Pragmatism, and Cognitive Flexibility Theory to the Interpretation of Classic Texts in Intellectual History", ECHT 92: Proceedings of the Fourth ACM Conference on Hypertext, Association for Computing Machinery, New York, pp 141-8, 1992. M. Joyce. Afternoon, a story. hypertext document for Macintosh computers, Eastgate Systems, Watertown MA, 1990. M. Joyce. "Storyspace as a Hypertext System for Writers and Readers of Varying Ability", Hypertext 91 Proceedings, ACM, Baltimore, pp. 381-9, 1991. Y. Kafai, and E. Solloway. "Computational gifts for the barney generation", Communications of the ACM, 37(9):19-22., 1994. P. Kahn, J. Launhardt, K. Lenk, and R. Peters. "Design of Hypermedia Publications: Issues and Solutions ", in Proceedings of the International Conference on Electronic Publishing, Document Manipulation, and Typography (EP90) edited by Richard Furuta, Cambridge University Press, pp. 107-124, 1990. P. Kahn, and K. Lenk. "Screen Typography: Applying Lessons of Print to Computer Displays," Seybold Report on Desktop Publishing, 7(11):3-15, 5 July 1993. P. Kahn, R. Peters, and G. P. Landow. "Three Fundamental Elements of Visual Rethoric in Hypertext". In Designing User-Interfaces for Hypermedia, W. Schuler, J. Hannemann, N. Streitz, eds., Springer-Verlag, 1994. P. Kahn, R. Peters, and G.P. Landow. "Three Fundamental Elements of Visual Rhetoric in Hypertext", in Designing User Interfaces for Hypermedia, W. Schuler, J. Hannemann, N. Streitz, eds., Springer Verlag, 1995.

242

[Kamada89]

[Kaprow 91]

[Keane 88]

[Kelso 93]

[Kirste 93]

[Kiyoki 91]

[Knuth 84]

[Knuth 91]

[Knuth 93]

[Kolb 95]

[Lajoie 89]

[Lakoff80]

[Lambolez 94]

[Landow 92]

[Landow 94]

[Landow 95]

[Lange 90]

T. Kamada, and S. Kawai. An algorithm for drawing general indirect graphs. Information Processing Letters, 31(1):7-15, 1989. A. Kaprow. "New Media Applications in Art an Design", Siggraph '91, pp. 1-20, Las Vegas, 1991. M. Keane. Analogical problem solving. Chichester: Ellis Horwood, 1988. M. Kelso, P. Weyhrauch, and J. Bates. "Dramatic Presence", Presence, Volume 2, Number I, MIT press, Winter 1993. T. Kirste. "Some issues of defining a user interface with general purpose hypermedia toolkits". in Workshop in Methodological Issues on the Design of Hypertext-based User Inter/aces, Darmstadt, Germany, July 1993. Y. Kiyoki, and a1. "The Software Architecture of a Parallel Processing System for Advanced Database Applications", In Proceedings of the Seventh Int'l Con/. on Data Engineering, IEEE, pp. 220-229, Apr. 1991. D. Knuth. "Literate Programming", Computer Journal, May 1984. D. Knuth. "Literate Programming", Center of the Study of Language and Information, Standford University, 1991. D. Knuth, and S. Levy. The CWEB System of Structured Documentation, Addison-Wesley, 1993. D. Kolb. Socrates in the Labyrinth: Hypertext, Philosophy, and Argumentation, hypertexts for Windows and Macintosh, Eastgate Systerms, Watertown MA, 1995. s. Lajoie, A. Lesgold, and a1. A procedural guide to the avionics troubleshooting tutor development process. Learning research and development center. University of Pittsburgh, 1989. G. Lakoff, and M. Johnson. Metaphors we live by. Chicago, University of Chicago Press, 1980. P.Y. Lambolez. Recherche d'Information pour la Maintenance Logicielle. These de doctorat de I'Universite Paul Sabatier de Toulouse, Novembre 1994. G.P. Landow, ed., The Dickens Web, hypertext for Macintosh computers, Eastgate Systems, Watertown MA 1992. G.P. Landow. "Hypertext", in Hypertext. Baltimore, Johns Hopkins Unviersity Press, 1994. G.P. Landow. Writing At The Edge, hypertext for Macintosh computers, Eastgate Systems, Watertown MA, 1995. D. Lange. "A Formal Model of Hypertext", In Proceedings of the Hypertext Standarization Workshop, National Institute of Standards and Technology, pp. 145-166, January 1990.

[Lange 94]

[Larson 92]

[Laurel 91]

[Levy 94]

[Lewis 91]

[Lewis 95]

[Lippman 91] [Little 90]

[Lucarella 90]

[Lumbreras 93]

[MacroMind 90] [Macromind 91]

[Maes 94]

[Mariano 89]

[Marshall 91]

[Maurer 90]

[Maurer 93a]

243

D. Lange. "An Object-Oriented design method for hypermedia information systems", in Proceedings of the 27th. Annual Hawaii International Conference on System Science, January 1994. R.R. Larson. "Evaluation of retrieval techniques in an experimental on-line catalog", JASIS, 43(1):34-53, Jan 1992. B. Laurel, Computers As Theatre, Addison-Wesley Publishing , 1991. D.M. Levy. "Fixed or fluid? Document stability and new media", in European Conference on Hypermedia Technology 1994, Proceedings ECHT'94, pp. 24-31. ACM Press, 1994. J. Lewis, L. Koved, and D. Ling. "Dialogue structures for virtual worlds", In CHl'91 Conference Proceedings, New Orleans, USA. pp. 131-136, May 1991. P. Lewis, H. Davis, S. Griffiths, W. Hall, and R. Willkins, "Content Based Retrieval and Navigation with Images in the Microcosm Model", to be published in MediaComm'95, Southampton, U.K., 11-12 April 11-12 1995. S. Lippman. C++ Primer, Addison-Wesley, 1991. T.D. Little, and A. Ghafoor. "Syncronization and Storage Models for Multimedia Objects", IEEE Journal on Selected Areas in Communications, Vo1.8, N°3, pp. 413-427, Apr. 1990. D. Lucarella. "A Model for Hypertext-Based Information Retrieval", Proc. of the European Conference on Hypertext ECHT'92, Milano, Italy, pp. 81-94, Nov. 1992. M. Lumbreras. "A hypertext for blind people", poster of Hypertext'93, Seattle, 1993. MacroMind Inc. Director User's Manual, 1990. Macromind Overview Manual. MacroMind, Inc., San Francisco, CA., 1991. P. Maes. "Agents that Reduce Work and Information Overload", Communications of the AMC, 37(7):31-40, 1994. Mariano, P. Concens, A.O. Mendelzon. "Expressing Structural Hypertext Queries in GraphLog", Hypertext'89 Proceedings, pp. 269-292, 1989. C.Marshall, F.G. Halasz, R.A.Rogers, and W.C. Janssen. "Aquanet: a hypertext tool to hold your knowledge in place", in Proceedings of Hypertext'91, ACM Press, p. 261-275. H. Maurer, and I. Tomek. Some Aspects of Hypermedia Systems and their Treatment in Hyper-G. Wirtschaftsinformatik, 32(2), 1990, 187-196. H. Maurer, F. Kappe, N. Scherbakov, and P. Srinivasan. "Structured browsing of hypermedia databases", in Proceedings of VCHCI'93, pp. 51-62, Springer, 1993.

244

[Maurer 93b]

[Maurer 94]

[Mayes 90]

[McCall 90]

[McKeown 90]

[Meyrowitz 86]

[Morris 94]

[Moulthrop 91]

[Nanard 91]

[Nanard 93]

[Nanard94]

[Nanard 94]

[Nanard94]

[NCSA 95]

H. Maurer, N. Scherbakov, and P. Srinivasan. "A new hypermedia data model", in Proceedings of DEXA '93, pp. 685-696, Springer, 1993. H. Maurer, K. Andrews, and N. Scherbakov. "Browsing hypermedia composites: An algebraic approach", in Proceedings of ECHT'94, ACM, 1994. Mayes T., Kibby M. and Anderson T., "Learning about learning from hypertext." In D. Jonassen and H. Mandl (eds.) Designing Hypermedia for Learning. Berlin: Springer-Verlag, 1990. R.J. McCall, P.R. Bennett, P.S. D'Oronzio, J.L. Ostwald, F.M. Shipman, and N.F. Wallace. "PHIDIAS: Integrating CAD Graphics into Dynamic Hypertext", Proc. of the European Conference on Hypertext ECHT'90, France, pp. 152-165, Nov. 1990. K.R. McKeown. "User Modeling and User Interfaces", Proceedings of the Eighth National Conference on Artificial Intelligence, MIT Press, pp. 1138-1139, 1990. B.J. Meyrowitz, K. E. Smith, and L. N. Garrett. "Intermedia: Issues, strategies and tactics in the design of a hypermedia document system", In Proc. ACM Conference on Computer­Supported Cooperative Work (CSCW'86) , pages 163-174. ACM,1986. C. Morris. Sin tax, Semantic, Pragmatic. Foundations of the Theory of Signs. Ed. Paidos, Madrid, pp. 43-85,1994. Stuart Moulthrop. Victory Garden. hypertext for Macintosh and Windows, Eastgate Systems. Watertown MA. 1991. J. Nanard, and M. Nanard. "Using Structured Types to Incorporate Knowledge in Hypertext", Hypertext 91 Proceedings, ACM Press, pp. 329-344, San Antonio, Texas, 1991. J. Nanard, and M. Nanard. "Should Anchors Be Typed Too? An Experiment with MacWeb", The fifth ACM Conference on Hypertext, pp 51-62, Seattle,Washington, November 1993. J. Nanard, and M. Nanard. "Some thoughts and experience on approaches and tools for designing hypertext structure", Workshop on Methodologies for Designing and developing Hypermedia Applications, Edinburgh, September 1994. J. Nanard, and M. Nanard. "Key features in a hypertext design environment for supporting the process of hypertext structure design", in Methologies for designing and developing hypermedia applications, collection edited by T. Isakowitz and M. Thiiring, September 1994. J. Nanard, and M. Nanard. "Hypertext Design Environments and Hypertext Design Process", Communications of the ACM, August 1995. HTML Primer. http://www .ncsa. uiuc.edu/demoweb/html­primer.htlm

[Newcomb 91]

[Nielsen 90]

[Nielsen 93]

[02] [Ogawa 90]

[Oliveira 95]

[0sterbye 93]

[0sterbye 94]

[0sterbye 95]

[Padmini 92]

[Parunak 91]

[Parunak 91]

[Passini 92]

[Pearl 89]

[PERL 95]

[Perlman 93]

[Poignet 94]

[polson 93]

245

S. Newcomb, N.A. Kipp, and V.T. Newcomb. "HyTime the Hypermedia/Time-based Document Structure Language", Communications of the ACM, 34(11):67-83, November 1991. J. Nielsen. Hypertext and Hypermedia. Academic Press, 1990. J. Nielsen. Hypertext and Hypermedia. Cambridge Academic Press, 1993. 02 technology. 02 Reference Manual.Versailles France. R. Ogawa, and al. "A Scenario-based hypermedia: a model and a system", In Proceedings of The European Conference on Hypertext, INRIA, France, pp. 38-51, Nov. 1990. S. Barbosa de Oliveira. Modeling and Specification of Navigation in Hypermedia Applications. MSc Thesis, Dept. of Informatics, PUC-Rio, Feb. 1995. (in Portuguese). K. 0sterbye, and K. N~rmark. The Vision and the Work in the HyperPro Project. Technical Report, Department of Mathematics and Computer Science, R-93-2012. April 1993. K. 0sterbye, and K. N~rmark. "An Interaction Engine for Rich Hypertexts", ECHT'94 Proceedings of the ACM European Conference on Hypertext, pp. 167-176, 1994. K. 0sterbye. "Literate Smalltalk Programming Using Hypertext", IEEE Transactions on Software Engineering, vol. 21, no. 2, february 1995. S. Padmini. "Thesaurus construction", in Information Retrieval: Data Structures and Algorithms, W.B. Frakes and R. Baeza-Yates (Eds), Prentice Hall, 1992. H. Parunak. "Don't Link Me In: Set Based Hypermedia for Taxonomic Reasoning", Proceedings of Hypertext '91, San Antonio,. Dec. 1991. V.D. Parunak. "Hypercubes grow on Trees (and Other Observations from the Land of Hypersets)", Proc. of Hypertext'91, San Antonio, Texas, pp. 233-242, Dec 1991. R. Passini. Way finding In Architecture. New York: Van Nostrand Reinhold, 1992. A. Pearl. "Sun's Link Service: A Protocol for Open Linking", In Hypertext '89 Proceedings, Pittsburgh PA, ACM Press, pp. 137-146, 1989. PERL Programming Specification. http://www.metronet.comlO/perlinfo/perl5ImanuaVperl.html G. Perlman. "The HCI Bibliography Project", SIGIR Forum, ACM, 27(3):29-31, Fall 1993. A. Poignet. Hypertexte virtuel et navigation dynamique. Rapport de projet de fin d'etudes EPFL-ENSEA, Juillet 1994. M.C. Polson. "Task Analysis for an Automated Instructional Design Advisor", in Automating Instructional Design: Concept and Issues. ETD. Englewood Cliffs, N. J. pp. 219-248, 1993.

246

[potts 93] C. Potts. "Software-Engineering Research Revisited", IEEE Software, 10(5):19-28, Sep. 1993.

[Ramsey 94] N. Ramsey, "Literate Programing Simplified", IEEE Software, September 1994.

[Remesar 93] A. Remesar. Interactives: Instructionsof use. Ed. Barcelona Media, Barcelona, pp. 2-7,1993.

[Rizk 92] A. Rizk, L. Sauter. "Multicard: An Open Hypermedia System", In: D. Lucarella, 1. Nanard, M. Nanard and P. Paolini, eds ECHT '92. Proceedings of the Fourth ACM Conference on Hypertext, Milan, Italy, ACM Press, pp. 4-10, November 30-December 4, 1992.

[Rossi 95] G. Rossi, D. Schwabe, C.l.P. Lucena, and D.D. Cowan. "An Object-Oriented Model for Designing the Human-Computer Interface Of Hypermedia Applications", International Workshop on Hypermedia Design, Montpellier, 1995. Also Technical Report MCC-94-41, Departamento de Informatica, PUC-Rio, 1995.

[Rumbaugh 91] 1. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W.Lorensen. Object Oriented Modeling and Design. Prentice Hall Inc. 1991.

[Salton 83] G. Salton, and M. 1. McGill. Introduction to Modern Information Retrieval. McGraw Hill, 1983.

[Salton 89] G. Salton. Automatic Text Processing: the Transformation, Analysis and Retrieval of Information by Computer. Addison­Wesley Publishing Company, Reading, Massachusetts, 1989.

[Sanchez 93] 1. Sanchez. The conceptualization of hyperstories. Working Document, 1992.

[Sanchez 94] 1. Sanchez, A. Mallegas, L. Cernuzzi, G. Rossi, M. Lumbreras, and A. Dlaz. "A conceptual framework for nuilding hyperstories". In Ed-Media '94 Conference Proceedings, p.761, 1994.

[Sanchez 95] 1. Sanchez, and M. Lumbreras. "Interfaces for learning", to be published in Advances in Human/Factors: Human-Computer Interaction. Elsevier Publishers, 1995.

[Sarkar 92] M. Sarkar, and M.H. Brown. "Graphical fisheye views of graphs", In Proc. Human Factors in Computing Systems (CHI'92), pages 83-91. ACM Press, May 1992.

[Schnase 93] 1. Schnase, 1. Legget, D. Hicks, and R. Szabo, "Semantic data modeling of hypermedia associations", in ACM Transaction on Information Systems, 11(1):27, 1993.

[Schneiderman 88] B. Schneiderman. "Direct Manipulation: A Step Beyond Programming Languages", IEEE Comp., 16(8):57-69, 1988.

[Schuler 94] W. Schuler. "A Design Space for Hypermedia Interface". Workshop on Methodologies for Designing and developing Hypermedia Applications, Edinburgh, September 1994.

[Schwabe 94]

[Schwabe 95]

[Sedes 95]

[Sedgewick 90] [Smeaton 95]

[Spiro 91]

[Stotts 89]

[Stotts 90]

[SUN 95a] [SUN 95b] [Supercard 89]

[Taivalsaari 93]

[ThOring 95]

[Tiberghien 94]

[Tompa89]

247

D. Schwabe, G. Rossi. "From Domain Models to Hypermedia Applications: an Object-Oriented Approach", Technical Report MCC 94-30, Departamento de Informatica, PUC-Rio. Expanded version of position paper presented at the Methodologies for Designing and Developing Hypermedia Applications workshop, ECHT'94, Edinburg, Spetember 1994. D. Schwabe, and G. Rossi. "Building Hypermedia Applications as Navigational Views of Information Models", in Proceedings of the 28th Hawaii International Conference on System Sciences, Maui, Hawaii, January 1995. Also Technical Report MCC 41-94, Departamento de Informatica, PUC-Rio. F. Sedes. "De l'introduction de la composante sonore dans un systeme hypermedia", Revue lSI, HERMES Ed., Mai 95. R. Sedgewick. Algorithms in C. Addison-Wesley, 1990. A.F. Smeaton, and P. Morrissey. "Experiments on the Automatic Creation of Hypertext from Texts", submitted for publication, 1995. R.J. Spiro, P.J. Feltovich, M.J. Jacobson, and R.L. Coulson. "Cognitive flexibility, constructivism and hypertext: Random access instruction for advanced knowledge acquisition in ill­structured domains", Educational Technology, pp. 24-33, May 1991. P.D. Stotts, and R. Furuta. "Petri-net-based hypertext: Document structure with browsing semantics", in A C M Transactions on Information Systems, 7(1):3-29, 1989. P.D. Stotts, R. Furuta. "Hierarchy, composition, Scripting Languages, and Translators for structured Hypertext", in Proc. of the European Conference on Hypertext ECHT'90, France, pp. 180-193, Nov 1990. HotJava Home Page. http://java.sun.coml Java API. http://java.sun.comll.0alpha21doc/apilpackages.html SuperCArd "User Manual." Silicon Beach Software, Inc., San Diego, CA, 1989. A. Taivalsaari, "Object-Oriented programming with modes", pp. 25-32, June 1993. M. ThOring, J. Hannemann, and J.M. Haake. "Designing for Comprehension: A Cognitive Approach to Hypermedia Development" Communications of the ACM, [forthcoming, summer 1995]. A. Tiberghien. "Modelling as a basis for analysing teaching -learning situations", Learning and Instruction, 4, 71-87, 1994. F.Tompa. "A data model for flexible hypertext database systems", in ACM Transactions on Information Systems, 7(1):85-100, January 1989.

248

[Trigg 88]

[Utting 89]

[Vaananen 93]

[Vaananen 93]

[VanRossum 93]

[Vegdahl 84]

[Venue 89] [de Vries 94]

[Watters 90]

[Way 94]

[WebLouvre 95]

[Wilkins 93]

[Wilkins 94]

[Wilkins 94b]

R.H. Trigg. "Guided tours and table tops: Tools for communicating in a hypertext environment", in A C M Transaction on Office Information Systems, 6(4):398-414, Oct. 1988. K. Utting, and N. Yankelovich. "Context and orientation in hypermedia networks", in ACM Transactions on Information Systems, 7(1):58-84, 1989. K. Vaananen. "Interfaces to Hypermedia: Communicating the structure and interaction possibilities to the users", Computer & Graphics, 17(3):219-228, May/June 1993. K. Vaananen. "Metaphor-Based user interfaces for Hyperspaces". Workshop in Methodological Issues on the Design of Hypertext-based User Interfaces, Darmstadt, Germany, July 1993. G. Van Rossum, and al. "CMIFed: A Presentation Environment for Portable Hypermedia Documents", In Proceedings of ACM Multimedia'93, 1993. S. Vegdahl. "Survey of Proposed Architectures for The Execution of Functional Languages", IEEE Trans. Comput., c-33(12):1050-1071, Dec. 1984. VenuelEnvos, "NoteCards User's Guide", Mar. 1989. E. de Vries. Structuring information for design problem solving. Doctoral dissertation, Eindhoven university of technology, Eindhoven, The Netherlands, 1994. C. Watters, and M. Shepherd. "A transiet hypergraph-based model for data access", in ACM Transactions on Information Systems, 8(2):77-102, April 1990. E.C. Way. Knowledge Representation and Metaphor. Oxford: Intellect Books, 1994. The WebLouvre Museum at Paris, URL=3D http://mistral.enst.fr. R Wilkins, I. Heath, and W. Hall. "A Direct Communication Model for Process Management in an Open Hypermedia System", in Computer Science Technical Report, University of Southampton, U.K., CSTR 93-14, 1993. RWilkins, S. Griffiths, W. Hall, P. Lewis, and H. Davis. "The MAVIS Project - Extending Generic Links and Content Based Retrieval to Non-Textual Documents in the Microcosm Model", in Research Journal, pp 167-169, Southampton University, U.K, 1994. R Wilkins, S. Griffiths, P. Lewis, W. Hall, and H. Davis, "Content- based navigation within Microcosm for multimedia documents", in ECHT'94, proceedings of the Sixth ACM Conference on Hypertext, Edinburgh, Scotland, ACM Press, September 1994. (presented as poster).

[Wilson 90]

[Woodhead 91]

249

E Wilson. "Links and Stuctures in Hypertext Databases for Law", in: A. Rizk, N. Streitz, J. Andre. Hypertext: Concepts, Systems and Applications, Proceedings of the European Conference on Hypertext, pp. 194-211, 1990. N. Woodhead. Hypertext and Hypermedia - Theory and Applications. Addison-Wesley, Reading, Massachussetts, 1991.

[Yankelovich 88] N. Yankelovich, B.J. Meyrowitz, and S. M. Drucker. "Intermedia: the concept and construction of a seamless information environment", IEEE Computer, 31(1):81-96, January 1988.

[Zellweger 89] P.T. Zellweger. "Scripted Documents: A Hypermedia Path Mechanism", in Proc. of Hypertext'89, ACM Press, Pittsburgh, PA, pp. 1-14,5-8 Nov. 1989.

[Zheng 92] Y. Zheng, and M-C. Pong. "Using Statecharts to Model

[Zibecchi 74]

[Zizi 94]

[Zizi 95]

Hypertext". Proceedings of the ACM European Conference on Hypertext, Milano, December 1992. C. Zibecchi. "Human Communications and Mass Communications", Ed. Plus Ultra, Buenos Aires, pp. 111-116, 1974. M. Zizi. "Shadocs, the sharing documents system", In Proc. Information System Design and Hypermedia, pages 15-26, France, AfcetJIEEE, CEPADUES-Editions, 1994. M. Zizi. Cartes Dynamiques Interactives, une metaphore spatiale pour l'exploration des espaces informationnels. PhD thesis, LRI, Universite de Paris-Sud, February 1995.

Author Index

Barbosa, S.D.J. ......................................................................................... 34 Benmrad, M. ............................................................................................. 77 Bernard, R. ............................................................................................... 30 Bernstein, M. .......................................................................................... 207 Bibbo, L.M. ............................................................................................. 216 Bilotta, E. ................................................................................................ 199 Borbinha, J. ............................................................................................ 196 Brossier-Wansek, A. ............................................................................... 70 Calvi, L. ................................................................................................... 146 Carr, L. .................................................................................................... 174 Cipolla Ficarra, F.V. .............................................................................. 226 Comparot, C. .......................................................................................... 202 Coray, G. ................................................................................................... 77 Cowan, D.O. ........................................................................................... 123 Crowder, R. .............................................................................................. 30 Davis, H. ................................................................................................... 72 Delgado, J. .............................................................................................. 196 de Roure, D. ........................................................................................... 174 de Vries, E. ............................................................................................... 32 Diaz, A......................................................................................................... 3 Fiorito, M. .............................................................................................. 199 Frasson, C. .............................................................................................. 144 Friendly, L. ............................................................................................. 151 Furuta, R. ................................................................................................ 182 Geerts, W. ............................................................................................... 146 Griffiths, S. ............................................................................................... 72 Hall, W........................................................................................ 30,72,174 Heath, I. .................................................................................................... 30 Hill, G. ..................................................................................................... 174 Iovane, D. ............................................................................................... 199 Isakowitz, T. ............................................................................................... 3 Kahn, P.................................................................................................... 109 Kaltenbach, M........................................................................................ 144 Kiyoki, Y. .................................................................................................. 39 Lewis, p. .................................................................................................... 72 Lucena, C.T.P. ......................................................................................... 123 Lumbreras, M. ....................................................................................... 216

252 Author Index

Mainguenaud, M. .................................................................................... 70 Marshall, c.c. ........................................................................................ 182 Nakamura, o. ........................................................................................... 39 Nkambou, R. .......................................................................................... 144 0sterbye, K. .............................................................................................. 16 Pantano, P. ............................................................................................. 199 Petitot, G. .................................................................................................. 32 Pruckler, T. ............................................................................................... 59 Quirion, L. .............................................................................................. 144 Rossi, G. .................................................................................................. 123 Sanchez, J. .............................................................................................. 216 Schrefl, M. ................................................................................................ 59 Schwabe, D. ...................................................................................... 34, 123 Sedes, F. .................................................................................................. 202 Shimizu, T. ............................................................................................... 39 Silva, A. ................................................................................................... 196 Smeaton, A.F. ......................................................................................... 105 Sykes, J. T. ............................................................................................... 228 Tejani, A. ................................................................................................ 228 Tiberghien, A. .......................................................................................... 32 Vanoirbeek, c. ......................................................................................... 77 Wilkins, R. ................................................................................................ 72 Zizi, M. ...................................................................................................... 93

Published in 1990-93

3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford), Hursley Park, 9-11 January 1990 Carroll Morgan and J. C. P. Woodcock (Eds)

Designing Correct Circuits, Workshop jointly organised by the Universities of Oxford and Glasgow, Oxford, 26-28 September 1990 Geraint Jones and Mary Sheeran (Eds)

Functional Programming, Glasgow 1990 Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 13-15 August 1990 Simon L. Peyton Jones, Graham Hutton and Carsten Kehler Holst (Eds)

4th Refmement Workshop, Proceedings of the 4th Refinement Workshop, organised by BCS­FACS, Cambridge, 9-11 January 1991 Joseph M. Morris and Roger C. Shaw (Eds)

AI and Cognitive Science '90, University of Ulster at Jordanstown, 20-21 September 1990 Michael F. McTear and Norman Creaney (Eds)

Software Re-use, Utrecht 1989, Proceedings of the Software Re-use Workshop, Utrecht, The Netherlands, 23-24 November 1989 Liesbeth Dusink and Patrick Hall (Eds)

Z User Workshop, 1990, Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 J.E. Nicholls (Ed.)

IV Higher Order Workshop, Banff 1990 Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada, 10-14 September 1990 Graham Birtwistle (Ed.)

ALPUK91, Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 Geraint A.Wiggins, Chris Mellish and Tim Duncan (Eds)

Specifications of Database Systems International Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991 David J. Harper and Moira C. Norrie (Eds)

7th UK Computer and Telecommunications Performance Engineering Workshop Edinburgh, 22-23 July 1991 J. Hillston, P.J.B. King and R.J. Pooley (Eds)

Logic Program Synthesis and Transformation Proceedings ofLOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 T.P. Clement and K.-K. Lau (Eds)

Declarative Programming, Sasbachwalden 1991 PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 John Darlington and Roland Dietrich (Eds)

Building Interactive Systems: Architectures and Tools Philip Gray and Roger Took (Eds)

Functional Programming, Glasgow 1991 Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 Rogardt Heldal, Carsten Kehler Holst and Philip Wadler (Eds)

Object Orientation in Z Susan Stepney, Rosalind Barden and David Cooper (Eds)

Code Generation - Concepts, Tools, Techniques Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991 Robert Giegerich and Susan L. Graham (Eds)

Z User Workshop, York 1991, Proceedings of the Sixth Annual Z User Meeting, York, 16-17 December 1991

J.E. Nicholls (Ed.)

Formal Aspects of Measurement Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 Tim Denvir, Ros Herman and R.W. Whitty (Eds)

AI and Cognitive Science '91 University College, Cork, 19-20 September 1991 Humphrey Sorensen (Ed.)

Sth Refinement Workshop, Proceedings of the 5th Refinement Workshop. organised by BCS-FACS, London, 8-10 January 1992 CliffB. Jones. Roger C. Shaw and Tim Denvir (Eds)

Algebraic Methodology and Software Technology (AMAST'91) Proceedings of the Second International Conference on Algebraic Methodology and Software Technology. Iowa City. USA. 22-25 May 1991 M. Nivat, C. Rattray, T. Rus and G. Scollo (Eds)

ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March -1 April 1992 Krysia Broda (Ed.)

Logic Program Synthesis and Transformation Proceedings ofLOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 Kung-Kiu Lau and Tim Clement (Eds)

NAPA W 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 S. Purushothaman and Amy Zwarico (Eds)

First International Workshop on Larch Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 Ursula Martin and Jeannette M. Wing (Eds)

Persistent Object Systems Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992 Antonio Albano and Ron Morrison (Eds)

Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 V.S. Alagar, Laks V.S. Lakshmanan and F. Sadri (Eds)

Modelling Database Dynamics Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany,19-22 October 1992 Udo W. Lipeck and Bernhard Thalheim (Eds)

14th Information Retrieval Colloquium Proceedings of the BCS 14th Information Retrieval Colloquium, University of Lancaster, 13-14 April 1992 Tony McEnery and Chris Paice (Eds)

Functional Programming, Glasgow 1992 Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 John Launchbury and Patrick Sansom (Eds) Z User Workshop, London 1992 Proceedings of the Seventh Annual Z User Meeting, London, 14-15 December 1992 J.P. Bowen and J.E. Nicholls (Eds)

Interfaces to Database Systems (IOS92) Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1-3 July 1992 Richard Cooper (Ed.)

AI and Cognitive Science '92 University of Limerick, 10-11 September 1992 Kevin Ryan and Richard F.E. Sutcliffe (Eds)

Theory and Formal Methods 1993 Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 Geoffrey Burn, Simon Gay and Mark Ryan (Eds)

Algebraic Methodology and Software Technology (AMAST'93) Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993 M. Nivat, C. Rattray, T. Rus and G. Scollo (Eds)

LOgic Program Synthesis and Transformation Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-Ia-Neuve, Belgium, 7-9 July 1993 Yves Deville (Ed.)

Database Programming Languages (DBPL-4) Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August-l September 1993 Catriel Beeri, Atsushi Ohori and Dennis E. Shasha (Eds)

Music Education: An Artificial Intelligence Approach, Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, 25 August 1993 Matt Smith, Alan Smaill and Geraint A. Wiggins (Eds)

Rules in Database Systems Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August-l September 1993 Norman W. Paton and M. Howard Williams (Eds)

Semantics of Specification Languages (SoSL) Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 D.J. Andrews, J.F. Groote and C.A. Middelburg (Eds)

Security for Object- Oriented Systems Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC, USA, 26 September 1993 B. Thuraisingham, R. Sandhu and T.C. Ting (Eds)