Added spec for Procedure class.