The Use of VDM in the Specification of Chinese Characters.

Ghee S. Teo, Mchel Mac an Airchinnigh

Browse the full FM paper archive.