References have been incorporated into the Oberon Bibliography.