A systematic kernel development. - Jørgen F. Søgaard-Andersen; Camilla Østerberg Rump; Hans Henrik Løvengreen (SIGSOFT, 1991)