author : Shaochun Wang

Short works

• Object orientation without extending Z. 2003. (In ZB 2003 )