FunZ Designs A Bridge between Z Specifications and Haskell Implementations.

Linda B. Sherrell, Doris L. Carver

Browse the full COMPSAC paper archive.