APA
Davies J., . (1993). Specification And Proof In Real Time Csp. Cambridge: Cambridge university press.
Chicago
Davies Jim, . 1993. Specification And Proof In Real Time Csp. Cambridge: Cambridge university press.
Harvard
Davies J., . (1993). Specification And Proof In Real Time Csp. Cambridge: Cambridge university press.
MLA
Davies Jim, . Specification And Proof In Real Time Csp. Cambridge: Cambridge university press. 1993.