FILE_SPEC is an attribute selection that specifies the name of the
file. You identify a source file by its file name. If it contains
a period (.), the file name should be enclosed in quotation marks.
The format for the FILE_SPEC attribute is as follows:
FILE_SPEC="filename.extension"
An example using the FILE_SPEC attribute follows:
FIND FILE_SPEC="MYPROG.FOR"
This query finds all occurrences in the file MYPROG.FOR.