APA (7th ed.) Citation

Apt, K. R. (1985). Logics and Models of Concurrent Systems. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Apt, Krzysztof R. Logics and Models of Concurrent Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

MLA (9th ed.) Citation

Apt, Krzysztof R. Logics and Models of Concurrent Systems. Springer Berlin Heidelberg, 1985.