Penggayaan APA

Bravetti, Mario., Kloul, Leila., Zavattaro, Gianluigi., SpringerLink (Online service). (). Formal Techniques for Computer Systems and Business Processes (1st ed. 2005.). : .

Chicago Style

Bravetti, Mario., Kloul, Leila., Zavattaro, Gianluigi., SpringerLink (Online service). Formal Techniques for Computer Systems and Business Processes. 1st ed. 2005. : , . E Book.

MLA Style

Bravetti, Mario., Kloul, Leila., Zavattaro, Gianluigi., SpringerLink (Online service). Formal Techniques for Computer Systems and Business Processes. 1st ed. 2005. : , . E Book.

Turabian Style

Bravetti, Mario., Kloul, Leila., Zavattaro, Gianluigi., SpringerLink (Online service). Formal Techniques for Computer Systems and Business Processes. 1st ed. 2005. : , . E Book.