SpringerLink (Online service) & Liu, S. (2013). Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service) and Shaoying Liu. Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
MLA (8th ed.) CitationSpringerLink (Online service) and Shaoying Liu. Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer, 2013.