GALAXY: A Distributed Real-Time Operating System Supporting High Availability. - A. Kung; R. Kung (RTSS, 1985)

A Failsafe Scheme for Replicated Information. - R. Kerboul; R. Kung; F. Richard (WDAG, 1987)