K. Okada

	1987
3		Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada: Parameterized Programming in OBJ2. ICSE 1987: 51-60
	1982
2		Y. Hayasaka, K. Shimotori, K. Okada: Testing System for Redundant Memory. ITC 1982: 240-244
1		T. Tada, T. Kobayashi, K. Okada, Y. Kuramitsu: Testing of Sense Amplifier in Dynamic Memory. ITC 1982: 245-251

Coauthor Index

1	Kokichi Futatsugi	[3]
2	Joseph A. Goguen	[3]
3	Y. Hayasaka	[2]
4	T. Kobayashi	[1]
5	Y. Kuramitsu	[1]
6	José Meseguer	[3]
7	K. Shimotori	[2]
8	T. Tada	[1]

Colors in the list of coauthors