Action Diagrams: Clearly Structured Specifications, Programs, and Procedures