APA Citation

Rattray, C. (1990). Specification and Verification of Concurrent Systems (1st ed. 1990.). London: Springer London.

Chicago Style Citation

Rattray, Charles. Specification and Verification of Concurrent Systems. 1st ed. 1990. London: Springer London, 1990.

MLA Citation

Rattray, Charles. Specification and Verification of Concurrent Systems. 1st ed. 1990. London: Springer London, 1990.

Warning: These citations may not always be 100% accurate.