In this paper we investigate the technique of stepwise refinement used to facilitate and to structure the design process of complex software systems and to increase the productivity by reusing code, proofs, etc. Assuming an object-oriented approach to system specification, i.e., objects are understood as units of structure and behaviour, data refinement as well as action refinement have to be addressed. Our approach relies on temporal logics as a suitable framework to express system dynamics.