u Logical—Close to (or identical with) logical languages not originally
intended for specifying information systems. The use of these
languages reflects the belief sometimes held that formal specification is
special only in its use of formal notations, not in the kinds of logic or