Specifying Systems