Carl Hewitt Peter Bishop Irene Greif Brian Cantwell Smith Todd Matson Richard Steiger Actor Induction and Meta-Evaluation. 153-168 1973 POPL db/conf/popl/popl73.html#HewittBGSMS73