Penggayaan APA

Romijn, Judi M.T., Smith, Graeme P., van de Pol, Jaco C., SpringerLink (Online service). (). Integrated Formal Methods (1st ed. 2005.). : .

Chicago Style

Romijn, Judi M.T., Smith, Graeme P., van de Pol, Jaco C., SpringerLink (Online service). Integrated Formal Methods. 1st ed. 2005. : , . E Book.

MLA Style

Romijn, Judi M.T., Smith, Graeme P., van de Pol, Jaco C., SpringerLink (Online service). Integrated Formal Methods. 1st ed. 2005. : , . E Book.

Turabian Style

Romijn, Judi M.T., Smith, Graeme P., van de Pol, Jaco C., SpringerLink (Online service). Integrated Formal Methods. 1st ed. 2005. : , . E Book.