A Specification Language - Sørensen, I (Springer−Verlag, 1982)