237 José Luíz Fiadeiro.” Designing for Software’s Social Complexity,” IEEE Computer 40, no. 1
(January 1, 2007): 34–39.
238 Bertrand Meyer, Design by Contract, tech. report no. TR-EI-12/CO (Santa Barbara, CA: Eiffel Software
Inc. [formerly Interactive Software Engineering Inc.], 1986).