Software specification techniques International computer science seriesに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。