Specification of a simple class