@Inproceedings{EPTCS115.1, author = {Sekerinski, Emil and Zhang, Tian}, year = {2013}, title = {On a New Notion of Partial Refinement}, editor = {Derrick, John and Boiten, Eerke and Reeves, Steve}, booktitle = {{\rm Proceedings 16th International} Refinement Workshop, {\rm Turku, Finland, 11th June 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {115}, publisher = {Open Publishing Association}, pages = {1-14}, doi = {10.4204/EPTCS.115.1}, }