Extended specs for Procedure class.