Return to Article Details Reasoning About the Transfer of Control Download Download PDF