Logics and models of concurrent systems ed. by Krzysztot R. Apt. - Berlin Springer-Verlag 1985 ISBN: 3540151818 Dewey Class. No.: 001.64 / N852;1