Specification of Software Systems (Texts in Computer Science)