Jones, C.B., Liu, Z. und Woodcock, J. (Hrsg.) (2007) „Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70 th Birthdays“, Theoretical Computer Science and General Issues. 1 st edition 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-75221-9.

Jones, Cliff B., Zhiming Liu, und Jim Woodcock, Hrsg. „Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70 th Birthdays“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?]. https://doi.org/10.1007/978-3-540-75221-9.

Jones, C. B., Liu, Z., … Woodcock, J. (Hrsg.). (ca. 2007). Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70 th Birthdays [Cd]. In Theoretical Computer Science and General Issues (1 st edition 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-75221-9

Jones, C. B., Z. Liu, und J. Woodcock, Herausgeber. „Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70 th Birthdays“. Theoretical Computer Science and General Issues, 1 st edition 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-75221-9.

JONES, Cliff B., Zhiming LIU und Jim WOODCOCK (Hrsg.). [cd]. 2007. 1 st edition 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540752219