APA (7th ed.) Citation

Cardell-Oliver, R. (1989). The specification and verification of sliding window protocols in higher order logic.

Chicago Style (17th ed.) Citation

Cardell-Oliver, Rachel. The Specification and Verification of Sliding Window Protocols in Higher Order Logic. Cambridge, 1989.

MLA (9th ed.) Citation

Cardell-Oliver, Rachel. The Specification and Verification of Sliding Window Protocols in Higher Order Logic. 1989.

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