4.1.2.2 Method-Specific Abstract Types and Procedures