Formal aspects of computing : the international journal of formal methods Vol. 1, no. 1 (Jan./Mar. 1989)-に関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。