Software Specification Techniques (International Computer Science Series)