Formal models in programming : proceedings of the IFIP TC2 Working Confernece on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985に関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。