Shusaku Iida

• Specification, Algebra, and Software