@Inproceedings{EPTCS282.4, author = {Benabdelali, Marwa and Labed Jilani, Lamia and Ghardallou, Wided and Mili, Ali}, year = {2018}, title = {Programming Without Refining}, editor = {Derrick, John and Dongol, Brijesh and Reeves, Steve}, booktitle = {{\rm Proceedings} 18th Refinement Workshop, {\rm Oxford, UK, 18th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {282}, publisher = {Open Publishing Association}, pages = {39-52}, doi = {10.4204/EPTCS.282.4}, }