BookReviews : Peter Olsén: Arbetsloshedens socialpsykologi (The Social Psychology of Unemployment). Dansk Psykologisk Forlag, Kobenhavn 1982. 190 pp中国信息技术软件产业国际化We have connected ST e P , the Stanford Temporal Prover, with SPIN, an LTL model checker. In this paper we describe ...