Jones, C.B., Liu, Z. und Woodcock, J. (Hrsg.) (2007) „Theoretical Aspects of Computing - ICTAC 2007 : 4 th International Colloquium, Macau, China, September 26-28, 2007, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-75292-9.

Jones, Cliff B, Zhiming Liu, und Jones Woodcock, Hrsg. „Theoretical Aspects of Computing - ICTAC 2007 : 4 th International Colloquium, Macau, China, September 26-28, 2007, Proceedings“. 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-75292-9.

Jones, C. B., Liu, Z., … Woodcock, J. (Hrsg.). (ca. 2007). Theoretical Aspects of Computing - ICTAC 2007 : 4 th International Colloquium, Macau, China, September 26-28, 2007, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-75292-9

Jones, C. B., Z. Liu, und J. Woodcock, Herausgeber. „Theoretical Aspects of Computing - ICTAC 2007 : 4 th International Colloquium, Macau, China, September 26-28, 2007, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-75292-9.

JONES, Cliff B, Zhiming LIU und Jones WOODCOCK (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540752929