In this paper we formulate the design of digital dynamic systems
using a programming notation, called Hybrid CSP. A continuous
specification of such a system under some performance requirements is
decomposed and digitized using Hybrid CSP, whose correctness is
guaranteed by the control principles such as Shannon's Sampling
Theorem.  Therefore, a digital dynamic system can be specified and
refined in a framework of formal development approach.