Vestal McIntyre and Marilyn Hacker Among Lambda Finalists