Combined Interview Questions Summarised
Primacy of the Pope
Rewriting Logic and The Maude Execution Environment Carolyn Talcott SRI International .