R. s\.enas, P. Curzon, J. Back, and A. Blandford. Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)
R. s\.enas, P. Curzon, J. Back, and A. Blandford. Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)