Abstract
This note concerns a search for publications in which one can find
statements that explain the concept of an operating system, reasons for introducing operating systems, a formalization of the concept of an operating system or theory about operating systems based on such a
formalization.
It reports on the way in which the search has been carried out and the
outcome of the search.
The outcome includes not only what the search was meant for, but also
some added bonuses.