Hidetaka Kondoh

	2006
3		Hidetaka Kondoh, Kokichi Futatsugi: To use or not to use the goto statement: Programming styles viewed from Hoare Logic. Sci. Comput. Program. 60(1): 82-116 (2006)
	2000
2		Hidetaka Kondoh: What Is `Mathematicalness' in Software Engineering? FASE 2000: 163-177
	1995
1		Hidetaka Kondoh: Basic Properties of Data Types with Inequational Refinements. TLCA 1995: 279-296

Coauthor Index

1

Kokichi Futatsugi

[3]