Madeira A.? 2008.??Observational Refinement Process. International Workshop in Refinements. 214:103-129.