Refinement in Z and ObjectZ | lit.salon