SELECT name FROM actor JOIN casting ON (actor.id=casting.actorid) JOIN movie ON (casting.movieid=movie.id) WHERE casting.movieid=(select id from movie where yr=1942 and title='casablanca')