1. Arnout, K.: Contracts and Tests, research plan at
se.inf.ethz.ch/people/arnout/phd_research_plan.pdf
(consulted June 2003)
2. Lecture Notes in Computer Science;V. Arslan,2003
3. Carriero, N., Gelernter, D.: How to Write Parallel Programs. MIT Press, Cambridge (1990),
lindaspaces.com/downloads/lindamanual.pdf
(consulted June 2003)
4. Dubois, P., Howard, M., Meyer, B., Schweitzer, M., Stapf, E.: From Calls to Agents. Journal of Object-Oriented Programming 6(12) (September 1999)
5. Eiffel Software: Online EiffelVision2 documentation at
docs.eiffel.com/libraries/vision2/
(consulted June 2003)