4.1.4.2 Method-Specific Abstract Types and Procedures