Return to Article Details CONTRACT AS AN ALGORITHM: INTRODUCTORY CONSIDERATIONS Download Download PDF