Integrating Real-Time and Non-Real-Time Collaborative Programming: Workflow, Techniques, and Prototypes. - Yifan Ma; Batu Qi; Wenhua Xu; Mingjie Wang; Bowen Du 002; Hongfei Fan (Proc. ACM Hum. Comput. Interact., 2023)