4.1.17.2 Method-Specific Abstract Types and Procedures