Integrating Observational and Computational Features in the Specification of State-Based, Dynamical SystemsCorina CîrsteaRAIRO-Theor. Inf. Appl., 35 1 (2001) 1-29DOI: https://doi.org/10.1051/ita:2001107