Return to Article Details Formal Rule by Informal Code Download Download PDF