Linda B. Sherrell Doris L. Carver FunZ Designs A Bridge between Z Specifications and Haskell Implementations. 12-17 1995 conf/compsac/1995 COMPSAC http://computer.org/proceedings/compsac/7119/71190012abs.htm db/conf/compsac/compsac1995.html#SherrellC95