APA ציטוט

Roscoe, A., & Hoare, C. (1984). Programs as executable predicates.

Chicago Style (17th ed.) Citation

Roscoe, A., and C. Hoare. Programs as Executable Predicates. 1984.

ציטוט MLA

Roscoe, A., and C. Hoare. Programs as Executable Predicates. 1984.