Return to Article Details Formalization of IT-services specifications Download Download PDF