Παραπομπή APA

Palanque, P., & Paterno, F. (1997). Formal methods in human-computer interaction. London: Springer.

Παραπομπή Chicago Style

Palanque, Philippe,, and Fabio Paterno. Formal Methods in Human-computer Interaction. London: Springer, 1997.

Παραπομπή MLA

Palanque, Philippe,, and Fabio Paterno. Formal Methods in Human-computer Interaction. London: Springer, 1997.

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