Top-down and step-wise refinement of protocol specifications. - Da-Hai Li (1987)

A Top-down Step-wise Refinement Methodology for Protocol Specification. - Da-Hai Li; T. S. E. Maibaum (Concurrency, 1988)

Dual-side see-through integral imaging 3D display system based on lens array holographic optical element. - Wu-Xiang Zhao; Han-Le Zhang; Qing-Lin Ji; Huan Deng; Da-Hai Li (Displays, 2021)