Luo, Z. (1993) Program specification and data refinement in type theory. Mathematical Structures in Computer Science, 3 (3).
Full text access: Open
This is a Submitted version This version's date is: 1993 This item is not peer reviewed
https://repository.royalholloway.ac.uk/items/7aa00423-be4c-ef61-7690-b304ce751ec9/2/
Deposited by Research Information System (atira) on 08-Jun-2012 in Royal Holloway Research Online.Last modified on 08-Jun-2012