APA
John Derrick J. F. S. G. S. K. M. L. S. R. E. R., . (2012). Abstract State Machines, Alloy, B, VDM, and Z. Germany: Springer.
Chicago
John Derrick John Fitzgerald Stefania Gnesi Sarfraz Khurshid Michael Leuschel Steve Reeves Elvinia Riccobene, . 2012. Abstract State Machines, Alloy, B, VDM, and Z. Germany: Springer.
Harvard
John Derrick J. F. S. G. S. K. M. L. S. R. E. R., . (2012). Abstract State Machines, Alloy, B, VDM, and Z. Germany: Springer.
MLA
John Derrick John Fitzgerald Stefania Gnesi Sarfraz Khurshid Michael Leuschel Steve Reeves Elvinia Riccobene, . Abstract State Machines, Alloy, B, VDM, and Z. Germany: Springer. 2012.