The Specification Language for the GESTALT Environment