Shusaku Iida, Jos� Meseguer, Kazuhiro Ogata
Specification, Algebra, and Software
- Springer 2014
- Lecture Notes in Computer Science .
9783642546242
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Programming Languages, Compilers, Interpreters