Basic Properties of Data Types with Inequational Refinements. - Hidetaka Kondoh (TLCA, 1995)

What Is 'Mathematicalness' in Software Engineering? - Hidetaka Kondoh (FASE, 2000)

Abstract Data Types Can Have Inequations1. - Hidetaka Kondoh (Formal Aspects Comput., 2003)

To use or not to use the goto statement: Programming styles viewed from Hoare Logic. - Hidetaka Kondoh; Kokichi Futatsugi (Sci. Comput. Program., 2006)