author : Shin Nakajima

Short works

• Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. 1999. (In FM'99 volume 2 )