Miles Stephen (1928-2000)