This paper presents a new language for writing specifications for digital systems. In the language (Buffer) to be described much attention has been given to its constructs for making the specifications understandable, precise enough, unambiguous, and easy to check for completeness and consistency.