APA (7th ed.) Citation

SpringerLink (Online service), Palanque, P., & Paternò, F. (1998). Formal methods in human-computer interaction. Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Philippe Palanque, and Fabio Paternò. Formal Methods in Human-computer Interaction. London ; New York: Springer, 1998.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Formal Methods in Human-computer Interaction. Springer, 1998.