Specification, Algebra, and Software

MLA

Shusaku Iida, José Meseguer, Kazuhiro Ogata, José Meseguer, and Kazuhiro Ogata. Specification, Algebra, and Software. Springer Berlin Heidelberg, 2014.

APA

Shusaku Iida, K. Ogata, Meseguer, J., & Ogata, K. (2014). Specification, Algebra, and Software. Springer Berlin Heidelberg.

Chicago

Shusaku Iida, José Meseguer, Kazuhiro Ogata, José Meseguer, and Kazuhiro Ogata. Specification, Algebra, and Software. : Springer Berlin Heidelberg, 2014.