APA (7th ed.) Citation

Audureau, E., Enjalbert, P., & Fariñas del Cerro, L. (1990). Logique temporelle: Sémantique et validation de programmes parallèles. Masson.

Chicago Style (17th ed.) Citation

Audureau, Eric, Patrice Enjalbert, and Luis Fariñas del Cerro. Logique Temporelle: Sémantique Et Validation De Programmes Parallèles. Paris u.a: Masson, 1990.

MLA (9th ed.) Citation

Audureau, Eric, et al. Logique Temporelle: Sémantique Et Validation De Programmes Parallèles. Masson, 1990.