What is the abbreviation for Formal top level specification?

Looking for the shorthand of Formal top level specification or how to abbreviate it? We have 2 shorthands for Formal top level specification.