K-Rep system overview - Mays, E; Dionne, R; Weida, R (SIGART Bulletin, 1991)