An Imperative Extension to Alloy

MLA

Daniel Jackson, and Joseph P. Near. An Imperative Extension to Alloy. Jan. 2010. EBSCOhost, https://doi.org/10.1007/978-3-642-11811-1_10.

APA

Daniel Jackson, & Joseph P. Near. (2010). An Imperative Extension to Alloy. https://doi.org/10.1007/978-3-642-11811-1_10

Chicago

Daniel Jackson, and Joseph P. Near. 2010. “An Imperative Extension to Alloy,” January. doi:10.1007/978-3-642-11811-1_10.