Procedure speicfication related domains (1)