You are about to access our book library "Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations) full version" .