Παραπομπή APA

Futatsugi, K., Tamai, T., & Nakagawa, A. T. (2000). Cafe: An industrial-strength algebraic formal method. Amsterdam ; New York: Elsevier.

Παραπομπή Chicago Style

Futatsugi, Kokichi., T. Tamai, and A. T. Nakagawa. Cafe: An Industrial-strength Algebraic Formal Method. Amsterdam ; New York: Elsevier, 2000.

Παραπομπή MLA

Futatsugi, Kokichi., T. Tamai, and A. T. Nakagawa. Cafe: An Industrial-strength Algebraic Formal Method. Amsterdam ; New York: Elsevier, 2000.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.