Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi Iida Shusaku Heftet / 2014 / Engelsk
