Return to Article Details Formalizations in Systems Development Download Download PDF