SPECIFICATION LANGUAGE. - Sorensen, I (Springer−Verlag‚ Berlin‚ West Ger, 1982)