54 BIBLIOGRAPHY

[13] IEEE Standard VHDL Language Reference Manual. New York, NY, 1994.

[14] K. Jones. LM3: A Larch Interface Language for Modula-3. A Definition and Introduction. Version 1.0. Technical Report 72, DEC Systems Research Center, June 1991.

[15] Kevin D. Jones. A semantics for a larch/modula-3 interface language. In Ursula Martin and Jeannette M. Wing, editors, First International Workshop on Larch : Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, Workshops in Computing Series. Springer-Verlag, London, 1993.

[16] Gary T. Leavens. Larch/C++ reference manual. Available at: ftp://ftp.cs. iastate.edu/pub/larchc++/lcpp.ps.gz, 1995.

[17] J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Melzter and D. Michie, editors, Machine Intelligence 4, pages 463{502. Edinburgh Univ. Press, Edinburgh, 1969.

[18] Douglas R. Smith. Top-Down Synthesis of Divide-and-Conquer Algorithms. Artificial Intelligence, 27(1):43{96, 1985.

[19] Douglas R. Smith. KIDS: A Semiautomatic Program Development System. IEEE Transactions on Software Engineering, 16(9):1024{1043, 1990.

[20] Douglas R. Smith and Micheal R. Lowry. Algorithm Theories and Design Tactics. Science of Computer Programming, 14:305{321, 1990.

[21] R.D. Tennent. Principles of Programming Languages. Computer Science Series. Prenitce-Hall International, 1981.

[22] Philip A. Wilsey. Savant. World Wide Web : http://www.ececs.uc.edu/~paw/ savant/, March 1996.