author : Alf Smith

Short works

• On Recursive Free Types in Z. 1992. (In 6th Z User Workshop )