Publisher's ref. : no. RR-07-06.
Thesis. PhD. Queen Mary University of London. 2007.
Separation and data refinement by Ivana Mijajlovic. Published by Queen Mary University of London, Department of Computer Science. Publication and catalogue information, links to buy online and reader comments.