APA (7th ed.) Citation

Sunshine, C. A. (1979). Formal methods for communication protocol specification and verification. Rand.

Chicago Style (17th ed.) Citation

Sunshine, Carl A. Formal Methods for Communication Protocol Specification and Verification. Santa Monica, Calif.: Rand, 1979.

MLA (9th ed.) Citation

Sunshine, Carl A. Formal Methods for Communication Protocol Specification and Verification. Rand, 1979.

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