Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi - Iida, Shusaku ((Lecture Notes in Computer Science ;)