Specification technique modified to use less classes