4.2.2.2 Method-Specific Abstract Types and Procedures