Edoardo S. Biagioni -- Curriculum Vitae 2008

Employment History

University of Hawaii

Carnegie Mellon University

Specific tasks included: designed, implemented, and analyzed software, collaborated with principal investigators and graduate students, supervised research programmers, proved correctness of small programs [32], developed data structures and interfaces for sequential access to functional arrays [31], collaborated on grant proposal [19], wrote quarterly reports for funding agency, and supervised releases of the Fox Net.

Fore Systems

Specific tasks include: developed software to control Fore Systems' ATM switch product, developed algorithms and signaling protocols for ATM [35, 34]. Represented Fore Systems at the ATM Forum, presenting ideas which were incorporated into the ATM standard. Consulted for Fore Systems through early 1994.

University of North Carolina

Toshiba ICSL

University of North Carolina

Mettler AG

Eidgenössische Technische Hochschule (ETH)

Massachusetts Institute of Technology (MIT)

Elettronica S.p.A.

Educational Experience

University of North Carolina

Case-Western Research University

Eidgenössische Technische Hochschule (ETH)

Massachusetts Institute of Technology (MIT)

Teaching Experience

University of Hawaii

Lecture Courses

1. ICS 691: Advanced Computer Networking. Spring 1998, 16 students.
2. ICS 651: Computer Networking. Fall 2006, 5 students. Spring 2005, 22 students. Spring 2004, 4 students. Spring 2003, 19 students. Spring 2002, 18 students. Spring 1999, 16 students. Fall 2000, 27 students. Spring 1999, 16 students. Fall 1997, 30 students.
3. ICS 612: Theory of Operating Systems. Spring 2007, 7 students. Fall 2004, 12 students.
4. ICS 451: Data Networking. Fall 2004, 12 students. Fall 2002, 23 students. Spring 2000, 41 students. Spring 2002, 22 students. Spring 2000, 41 students. Fall 2001, 55 students (including an online section). Spring 2000, 41 students. Spring 2001, 49 students. Spring 2000, 41 students. Fall 1998, 66 students.
5. ICS 431: Computer Architecture. Fall 2002, 15 students.
6. ICS 412: Operating Systems. Fall 2006, 13 students. Spring 2005, 15 students. Spring 2004, 17 students.
7. ICS 331 and 331L: Logic Design and Microprocessors. Fall 2003, 35 students. Spring 2000, 27 students (only 25 in the lab).
8. ICS 312: Machine Level and Systems Programming. Fall 1998, 41 students.
9. ICS 211: Introduction to Computer Science II. Spring 2001, 27 students (5 more withdrew). Fall 2000, 46 students (23 more withdrew). Fall 1999, 77 students (40 more withdrew).

Individual Courses

1. ICS 700: Thesis Research.
   • Spring 2005, 1 student.
   • Summer 2003, 1 student.
   • Summer 2000, 1 student.
   • Summer 1999, 1 student.
2. ICS 699: Directed Reading or Research.
   • Fall 2007, 2 students.
   • Spring 2007, 1 student.
   • Fall 2004, 2 students.
   • Spring 2004, 4 students.
   • Fall 2003, 6 students.
   • Spring 2003, 3 students.
   • Fall 2002, 3 students.
   • Spring 2002, 1 student.
   • Fall 2001, 1 student.
   • Summer 2001, 2 students.
   • Spring 2001, 1 student.
   • Fall 2000, 1 student.
   • Summer 2000, 1 student.
   • Spring 2000, 2 students.
   • Fall 1999, 8 students.
   • Summer 1999, 1 student.
   • Spring 1999, 2 students.
   • Summer 1998, 3 students.
   • Spring 1998, 1 student.
   • Fall 1997, 1 student.
3. ICS 499: Computer Project.
   • Spring 2004, 1 student.
   • Spring 2003, 2 students.
   • Summer 2002, 2 students.
   • Spring 2002, 2 students.
   • Summer 2001, 1 student.
   • Fall 2000, 1 student.
   • Summer 2000, 2 students.
   • Spring 1999, 2 students.

• The ICS 651 in the Spring of 2005 was mostly asynchronous, with a synchronous section that was recorded and posted on the web together with copious notes. Students did not need to attend class.
• The ICS 651 in the Spring of 2003 had one asynchronous section. Students did not need to attend class. While some face-to-face interaction was supported, several students never met either the instructors or the TA, and some had full-time jobs or lived on other islands.
• The ICS 451 in the Fall of 2001 had one asynchronous section. Students did not need to attend class. While face-to-face interaction was supported, several students never met either the instructors or the TA, and some were outside the U.S.
• The ICS 651 in the Spring of 1999 was taught using the Hawaii Interactive Television System (HITS). Three of my students were on the island of Maui, the remainder were local.

Technical Writers' Union

Eidgenössische Technische Hochschule (ETH)

Other Experience

Service

• Chaired the committee to hire new faculty in the ICS Department, Fall 2004 and Spring 2005.
• Served on the curriculum committee of the ICS Department, 2003-2005 and 2006-2007.
• Served on the curriculum committee of the College of Natural Sciences, and chaired the curriculum committee for the ICS Department, 1997-2001. The committee made several changes to the curriculum and initiated the creation of standardized syllabi for our courses below 400 level.
• Served on on the space committee in the ICS Department, 2001.
• External member on the dissertation committee of Zigui Yang (PhD in Electrical Engineering, 2006) at UH Manoa.
• Chaired the committees to allocate money for purchasing computer hardware in the ICS Department, 1999-2000. In 2001, this was re-established as the infrastructure committee, which I chaired, 2001-2003. I also served on this committee during 2007.
• Chair of the committee developing the data communications qualifying exam for the Computers and Information Sciences Ph. D. program, 1997. Participated in this committee 1998-present.
• Member of the faculty search committee for the ICS Department, UH Manoa, 1998 and 1999. In both years, one of the candidates selected by this committee has been hired.

• series co-editor for the "Adhoc and Sensor Networks" series in the IEEE Communications magazine, August 2006-present.
• currently serving on the technical program committee of the 4th IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS 2007)
• currently serving on the program committee of the International Workshop on Wireless Mesh and Ad Hoc Networks (WiMAN'07) and reviewing 4 papers.
• reviewed a paper for the journal Wireless Networks (WINET).
• served on the Technical Program Committee of the 1st IEEE WoWMoM Workshop on Autonomic and Opportunistic Communications (AOC 2007) and reviewed 3 papers.
• served on the Technical Program Committee of PerSens '07, Third IEEE PerCom International Workshop on Sensor Networks and Systems for Pervasive Computing, and reviewed 4 submissions
• reviewed a submission to the "Mobile Multi-Hop Ad Hoc Networks" special issue of the Journal on Wireless Communications and Networking, 2006
• reviewed a submission to the IEEE International Symposium on Computers and Communications (ISCC 2006, http://www.comsoc.org/iscc/2006/)
• was on the Technical Program Committee of MDC '06, 2006 international workshop on mobile distributed computing ( http://www.ing.unipi.it/mdc06/), and reviewed 3 submissions
• 2006, reviewed a book chapter for The Handbook of Computer Networks, John Wiley and Sons
• Co-chaired minitrack on Wireless Sensor Networks at the Hawaii International Conference on Systems Sciences, for HICSS 2005, HICSS 2006, and HICSS 2007.
• 2005, reviewed a submission to the Handbook of Information Security
• reviewed a submission to the IEEE Transactions on Dependable and Secure Computing
• reviewed a submission to the International Journal of Computers and Their Applications
• Technical Program Committee member for the Networking 2002 conference in Pisa, Italy.
• National Science Foundation Panel Review, September 2001.
• National Science Foundation Panel Review, February 2001.
• Reviewer for the Journal IEEE Transactions on Multimedia, 2000-2001.
• Served as external reviewer on a funding proposal for the Eidgenössische Technische Hochschule (ETH -- Swiss Federal Institute of Technology), Zurich, Switzerland, May 2000.
• Treasurer for the ACM POPL 97 conference in Paris, France.

Software Artifacts

• Supervised Fox Net releases 1.0 (August 1994) and 2.0 (September 1996).
• Developed Asxd, a Fore Systems commercial software product for ATM switch management
• Developed FPC, a translator from Backus FP to C, released to Usenet (1989).
• Jointly with others [5], developed the OSSI standard interface for Modula-2 programs, sold to ASEA Brown-Boveri (1988).

Computer Skills

• Languages: Java, SML, C, C++, FP, MPL, Lisp, Perl, Modula-2, Pascal, Fortran, Prolog, PL/1.
• Networks: TCP/IP, ATM, Ethernet, World Wide Web.
• Operating Systems: Unix (OSF, BSD, Linux, NetBSD), Mach, VMS, Multics, Medos-2.

Awards

• Natural Sciences Faculty Performance Award, 2000.
• ONR Graduate Student Fellowship 1990-1991.
• American Electronics Association Japan Fellowship 1988-1989.
• American Women's Club (Europe) Scholarship 1979-1980.

Visiting Colleague

• University of Pisa, Dipartimento di Ingengeria Informatica, November 2005. Host: Prof. Giuseppe Anastasi.
• University of Münster, Fachbereich Mathematik und Informatik, November 2005. Host: Prof. Klaus Hinrichs.

Publications

Journals

1. Edoardo Biagioni, Kent Bridges.
   The Application of Remote Sensor Technology to Assist the Recovery of Rare and Endangered Species.
   Special issue on Distributed Sensor Networks for the International Journal of High Performance Computing Applications, Vol. 16, N. 3 (August 2002). 15 pages.
   http://www2.ics.hawaii.edu/~esb/prof/pub/ijhpca02.html or http://www2.ics.hawaii.edu/~esb/prof/pub/ijhpca02.pdf

2. E. Biagioni, R. Harper, P. Lee.
   A Network Protocol Stack in Standard ML
   Journal of Higher-Order and Symbolic Computation, Kluwer, Vol. 14, N. 4 (December 2001). 48 pages.
   http://www2.ics.hawaii.edu/~esb/prof/pub/foxfinal.ps. In 2006 this paper was selected by Springer for electronic publication, available at http://dx.doi.org/10.1023/A:1014403914699.

3. Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, Chris Stone.
   Safe-for-space threads in Standard ML
   Journal of Higher-Order and Symbolic Computation, Vol. 11, N. 2 (1998). 16 pages.
   http://www2.ics.hawaii.edu/~esb/prof/pub/safethreads.ps

4. Edoardo Biagioni, Eric Cooper, and Robert Samson.
   The Design of a Practical ATM LAN.
   IEEE Network, Vol. 7, N. 2 (March 1993).

5. Edoardo Biagioni, Gernot Heiser, Klaus Hinrichs, and Carlo Muller.
   OSSI -- A Portable Operating System Interface and Utility Library.
   In IEEE Software, Vol. 3, No. 6 (November 1986) pp. 18-29.

Conferences

6. Edoardo Biagioni and Shu Chen.
   ``A Reliability Layer for Ad-Hoc Wireless Sensor Network Routing''.
   At the Hawaii International Conference on Systems Sciences, January 2004, Waikoloa, Hawaii.
   http://www2.ics.hawaii.edu/~esb/prof/pub/hicss37chen.pdf.

7. Fengxian Fan and Edoardo Biagioni.
   ``An Approach to Data Visualization and Interpretation for Sensor Networks''.
   At the Hawaii International Conference on Systems Sciences, January 2004, Waikoloa, Hawaii.
   http://www2.ics.hawaii.edu/~esb/prof/pub/hicss37fan.doc.

8. Edoardo Biagioni and Galen Sasaki.
   ``Wireless Sensor Placement for Reliable and Efficient Data Collection''.
   At the Hawaii International Conference on Systems Sciences, January 2003, Waikoloa, Hawaii.
   http://www2.ics.hawaii.edu/~esb/prof/pub/hicss36.pdf.

9. Edoardo Biagioni.
   ``PODS: Interpreting Spatial and Temporal Environmental Information''.
   In ``Usability Evaluation and Interface Design: Cognitive Engineering, Intelligent Agents, and Virtual Reality'', Volume I of the Proceedings of HCI International 2001, pp. 317-321, 9th International Conference on Human-Computer Interaction, New Orleans, Louisiana.
   http://www2.ics.hawaii.edu/~esb/prof/pub/hcii01.ps

10. Edoardo Biagioni.
    ``Asynchronous and Distance Communication over Digital Networks''.
    In ``Ergonomics and User Interfaces'', Volume I of the Proceedings of HCI International '99, pp. 851-855, 8th International Conference on Human-Computer Interaction, Munich, Germany.
    http://www2.ics.hawaii.edu/~esb/prof/pub/hci99/paper.html

11. Edoardo Biagioni.
    ``A Structured TCP in Standard ML''.
    SIGComm '94, London, England, August-September 1994.
    http://www2.ics.hawaii.edu/~esb/prof/pub/sigcomm94.ps.

12. Edoardo Biagioni, Robert Harper, Peter Lee, and Brian Milnes.
    ``Signatures for a Network Protocol Stack: A Systems Application of Standard ML''.
    ACM conference on Lisp and Functional Programming, Orlando, Florida, June 1994.
    http://www2.ics.hawaii.edu/~esb/prof/pub/lfp-signatures.ps.

13. Edoardo Biagioni, Tetsuya Abe, and Satoru Ishii.
    ``Applying Neural Networks to Scheduling Problems''.
    1989 Conference of the Information Processing Society of Japan, Tokyo, Japan, September 1989.
    http://foxnet.cs.cmu.edu/people/esb/ipsj.html.

14. Edoardo Biagioni, Klaus Hinrichs, Carlo Muller, and Jürg Nievergelt.
    ``Interactive Deductive Data Management -- the Smart Data Interaction Package''.
    GI-Kongreß 1985, Munich.
    Published by Springer as Informatik Fachbericht 112, 1985.

15. G. Beretta, E. Biagioni, H. Burkhart, P. Fink, J. Nievergelt, J. Stelovsky, H. Sugaya, A. Ventura, and J. Weydert.
    ``Man-Machine Communication''.
    NOCUS International Meeting, Monte Carlo, November 1982.

    Workshops

16. Edoardo Biagioni.
    ``Algorithms for Communication in Wireless multi-hop ad hoc Networks using Broadcasts in Opportunistic Large Arrays (OLA)''.
    Workshop on Wireless Mesh and Ad-hoc Networks (WiMAN) 2007, Turtle Bay, Hawaii, 16 August 2007.
    http://www2.ics.hawaii.edu/~esb/prof/pub/wiman07paper.pdf

17. Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, and Chris Stone.
    ``Safe-for-Space Threads in Standard ML''.
    Second ACM Sigplan Workshop on Continuations, Paris, France, 14 January 1997.
    http://foxnet.cs.cmu.edu/people/esb/papers/cokasaki-threads.ps.

18. Edoardo Biagioni, Robert Harper, and Peter Lee.
    ``Implementing Software Architectures in Standard ML''.
    Position paper at the International Conference on Software Engineering Workshop on Software Engineering and Programming Languages, Seattle, Washington, April 1995.
    http://www2.ics.hawaii.edu/~esb/prof/pub/icse17.ps.
    http://foxnet.cs.cmu.edu/people/esb/papers/icse17.ps.

19. Edoardo Biagioni and Jan Prins.
    ``Scan Based Load Balancing for Highly-Parallel Mesh-Connected Computers''.
    1990 ICASE Workshop on Unstructured Scientific Computation on Scalable Multiprocessors.

    Dissertation and Thesis

20. Edoardo Biagioni.
    Scan Directed Load Balancing.
    Dissertation at the University of North Carolina, Chapel Hill, November 1991.
    Also published as Technical Report TR 91-045, Department of Computer Science, University of North Carolina, Chapel Hill, December 1991.
    http://www2.ics.hawaii.edu/~esb/prof/pub/diss.ps.

21. Edoardo Biagioni.
    EASY, a Front End for Interactive Programs.
    Diplom Thesis, Abteilung für Informatik, Eidgenössische Technische Hochschule, Switzerland, February 28, 1985.

    Contract Support

22. PODS: A Remote Ecological Micro-Sensor Network.
    DARPA SensIT program. Awarded: 2000.
    Co-authored research proposal with Kim Bridges and Brian Chee (Principal Investigators: Edoardo Biagioni, Kim Bridges, Brian Chee).
    Approximate amount: $500,000 over three years.
    http://www.botany.hawaii.edu/pods/.

23. The Fox Project: Advanced Languages for Systems Software.
    ARPA CSTO. Awarded: 1995.
    Co-authored research proposal with Robert Harper and Peter Lee. (Principal Investigators: Robert Harper and Peter Lee).
    Also published as Technical Report CMU-CS-FOX-94-104, School of Computer Science, Carnegie Mellon University, January 1994.
    http://foxnet.cs.cmu.edu/people/esb/papers/renewal.ps.

    Chapters in Books

24. Kim Bridges and Edoardo Biagioni
    ``Plant Monitoring with Special Reference to Endangered Species''.
    In Distributed Sensor Networks.
    CRC Press, 2005.

25. Edoardo Biagioni and Jan Prins.
    ``Scan Based Load Balancing for Highly-Parallel Mesh-Connected Computers''.
    In Unstructured Scientific Computation on Scalable Multiprocessors.
    MIT Press, 1992.
    Publication of workshop paper [18].

    Talks

26. ``Algorithms for Communication in Wireless multi-hop ad hoc Networks using Broadcasts in Opportunistic Large Arrays (OLA)'', presented at the WiMan 2007 workshop at Turtle Bay, Hawaii, August 2007. Also presented to UH recipients of NSF computer science, engineering and mathematics scholarships, October 2007.
    http://www2.ics.hawaii.edu/~esb/talk/20070816.pdf.

27. ``Designing Protocols for Wireless Ad-Hoc Sensor Networks'', invited talk at the University of Pisa, Italy. Similar talks were given at the Vrije Universiteit in Amsterdam, Holland, and at the University of Münster, Germany. November 2005
    http://www2.ics.hawaii.edu/~esb/talk/pisa.pdf.

28. ``Wireless Sensor Placement for Reliable and Efficient Data Collection'', presented at the Hawaii International Conference on Systems Sciences at Waikoloa, Hawaii, January 2003.
    http://www2.ics.hawaii.edu/~esb/prof/pub/hicss36.ppt

29. ``PODS: An ecological microsensor network'', presented to the CIS PhD students at the University of Hawaii, Honolulu, September 2001.
    http://www2.ics.hawaii.edu/~esb/prof/pub/cis2001.ppt

30. ``Multimedia on the Internet'', tutorial at the IASTED international conference on Internet and Multimedia Systems and Applications in Honolulu, HI, August 2001.
    http://www2.ics.hawaii.edu/~esb/prof/pub/iasted01.ppt

31. ``PODS: Interpreting Spatial and Temporal Environmental Information'', presented at HCI International '01, New Orleans, Louisiana, August 2001.
    http://www2.ics.hawaii.edu/~esb/prof/pub/hcii01.ppt

32. a progress report presented at the Principal Investigator meeting for the DARPA Sensor Information Technology (SensIT) program in April 2001 in Tampa, Florida.
    http://www2.ics.hawaii.edu/~esb/pods/tampa.ppt

33. ``Asynchronous and Distance Communication over Digital Networks'', presented at HCI International '99, Munich, Germany, August 1999.
    http://www2.ics.hawaii.edu/~esb/prof/pub/hcii99.ps

34. ``Protocol Building Blocks and Protocol Design -- Work in Progress'', AT&T Bell Laboratories, March 1995.
    http://foxnet.cs.cmu.edu/people/esb/slides/att.dvi.

35. ``A Structured TCP in Standard ML''. presented at SIGComm '94, London, England, August 1994.
    http://foxnet.cs.cmu.edu/people/esb/slides/tcp.dvi.

36. ``Theory and Practice: The Fox Net'', at the Workshop on Functional Programming in the Real World, Schloß Dagstuhl, May 1994.
    http://foxnet.cs.cmu.edu/people/esb/slides/dagstuhl.dvi.

37. ``Scan Based Load Balancing for Highly-Parallel Mesh-Connected Computers'', at the November 1990 ICASE Workshop on Unstructured Scientific Computation on Scalable Multiprocessors.

38. ``Applying Neural Networks to Scheduling Problems'', at the September 1989 conference of the Information Processing Society of Japan.

    Magazine Articles

39. Edoardo Biagioni.
    ``How and Why to Plan the Move to IPv6'',
    http://www.eweek.com/c/a/Knowledge-Center/How-and-Why-to-Plan-the-Move-to-IPv6/, e-Week.com, February 20, 2008. Introduction and editing by Wayne Rash.

Reports

40. Edoardo Biagioni.
    ``Collision-Free Broadcasting in Wireless Ad-Hoc Networks using Cooperative Diversity'',
    http://www2.ics.hawaii.edu/~esb/prof/pub/cdb.pdf.

41. Nitin Nagar and Edoardo Biagioni.
    ``Open Issues in Routing Techniques in Ad Hoc Wireless Sensor Networks''.
    Research Report at the 2002 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2002), Las Vegas, June 24-27, 2002
    http://www2.ics.hawaii.edu/~esb/prof/pub/pdpta.doc.

42. Edoardo Biagioni and Guangrui Fu.
    The Hello Operating System.
    http://www2.ics.hawaii.edu/~esb/prof/pub/hello.ps, April 2000, 14 pages.
43. Edoardo Biagioni, Peter Hinely, Chun Liu, and Xinmin Wang.
    Internet Size Measurements.
    http://www2.ics.hawaii.edu/~esb/prof/proj/imes/p00.ps, February 2000, 16 pages.
44. Edoardo Biagioni.
    Bandwidth measurement under IP fragmentation.
    http://www2.ics.hawaii.edu/~esb/prof/proj/imes/theory/node1.html

45. Edoardo Biagioni.
    Sequence Types for Functional Languages.
    Technical Report CMU-CS-FOX-95-180, School of Computer Science, Carnegie Mellon University, August 1995.
    http://www2.ics.hawaii.edu/~esb/prof/pub/CMU-CS-95-180.ps or http://foxnet.cs.cmu.edu/people/esb/papers/esb-sequences.ps.

46. Edoardo Biagioni.
    Program Verification for Optimized Byte Copy.
    Technical Report CMU-CS-94-172, School of Computer Science, Carnegie Mellon University, August 1995.
    http://www2.ics.hawaii.edu/~esb/prof/pub/CMU-CS-94-172.ps or http://foxnet.cs.cmu.edu/people/esb/papers/copy-proof.ps.

47. Nicholas Haines, Edoardo Biagioni, Robert Harper, and Brian G. Milnes.
    Note on Conditional Compilation in Standard ML.
    Technical Report CMU-CS-93-172, School of Computer Science, Carnegie Mellon University, June 1993.
    http://www2.ics.hawaii.edu/~esb/prof/pub/CMU-CS-93-172.ps.

48. Edoardo Biagioni, Eric Cooper, and Robert Samson.
    SPANS NNI: Simple Protocol for ATM Network Signaling (Network-to-Network Interface).
    Fore Systems Technical Report, Release 2.1 (1993).

49. Edoardo Biagioni, Eric Cooper, and Robert Samson.
    SPANS: Simple Protocol for ATM Network Signaling.
    Fore Systems Technical Report, Release 2.0 (1992).

50. J.-L. Franck, G. Maier, A. Rohrer, E. Biagioni, G. Heiser, K. Hinrichs, and C. Muller.
    A Portable Operating System Interface and Utility Library for Modula-2, Version 6.
    Research Report CRB 89-002 C, Corporate Research, Asea Brown Boveri, February 1989.

51. Edoardo Biagioni
    FPC: A Translator for FP.
    Technical Report TR88-027, Department of Computer Science, UNC Chapel Hill, May 1988.

52. Edoardo Biagioni, Gernot Heiser, Klaus Hinrichs, and Carlo Muller.
    A Portable Operating System Interface and Utility Library for Modula-2 (second, revised edition).
    Technical Report 79, Institut Für Informatik, Eidgenössische Technische Hochschule, April 1987.

53. Edoardo Biagioni, Gernot Heiser, Klaus Hinrichs, and Carlo Muller.
    OSSI -- A Portable Operating System Interface and Utility Library for Modula-2.
    Technical Report 67, Institut Für Informatik, Eidgenössische Technische Hochschule, June 1986.
    Also published as Technical Report 86-005, University of North Carolina at Chapel Hill.

54. Edoardo Biagioni and Hiro Sugaya.
    The Vax-Bitgraph Font Editor.
    Technische Notiz TN KLR-PC, BBC Brown Boveri, December 1984.
    BBC Brown Boveri

55. Hiro Sugaya and Edoardo Biagioni.
    Input-Output Functions for a Bitmapped Raster Graphics Terminal.
    Technical Report KLR 84-94C, BBC Brown Boveri, June 1984.

56. Hiro Sugaya, Jan Stelovsky, Jürg Nievergelt, and Edoardo Biagioni.
    XS-2: An Integrated Interactive System.
    Technical Report KLR 84-73C, BBC Brown Boveri, May 1984.

Miscellaneous