( 1985 ) C . HOL M.