Using the Aslan Formal Specification Language in Undergraduate Software Engineering Courses. - Brent Auernheimer; Daniel Stearns (Comput. Sci. Educ., 1991)

An Experience With Design by Contract. - Judy Tantivongsathaporn; Daniel Stearns (APSEC, 2006)