From Z specifications to Haskell programs.
Publisher: University of Birmingham
Published: 1996
Place of publication: Birmingham
Language: eng
Notes: Thesis (Ph.D) - University of Birmingham, School of Computer Science, Faculty of Science.