Eiffel
Eiffel je objektno-orijentisani jezik baziran na Adi,
koji je stvorio Betrand Meyer.
On pruza formalnu podrsku za pre-uslove dozvoljavajuci programeru
da ubaci assert komande na odgovarajucim mestima u kodu.
Literatura
Bertrand Meyer, "Eiffel: The Language", Prentice Hall, 1992
ISBN 0-13-247925-7.
Postoji takodje i
Eiffel Home Page.