MITCHELL 8530(1988)