Caste: A Step beyond Object Orientation. - Hong Zhu 002; David E. Lightfoot (JMLC, 2003)

A Formal Specification in B of a Medical Decision Support System. - Christine Poerschke; David E. Lightfoot; John L. Nealon (ZB, 2003)

Big SaaS: The Next Step beyond Big Data. - Hong Zhu 002; Ian Bayley; Muhammad Younas 001; David E. Lightfoot; Basel Yousef; Dongmei Liu (CLOUD, 2015)

CIDE: An Integrated Development Environment for Microservices. - Desheng Liu; Hong Zhu 002; ChengZhi Xu; Ian Bayley; David E. Lightfoot; Mark Green; Peter Marshall (SCC, 2016)

CAOPLE: A Programming Language for Microservices SaaS. - ChengZhi Xu; Hong Zhu 002; Ian Bayley; David E. Lightfoot; Mark Green; Peter Marshall (SOSE, 2016)