4 works on record
Concurrent Objects and Beyond
Programming Languages and Systems
IT no hōritsu sōdan
Functional and Logic Programming