author : Howard S. Goodman

Short works

• The Z-into-Haskell Tool-Kit: an illustrative case study. 1995. (In ZUM '95 )