@misc{indiciaeca08f409035f,
  title = {On the definition of a theoretical concept of an operating system},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2010},
  url = {https://arxiv.org/abs/1006.0813},
  note = {Source identifier: 1006.0813}
}