@MISC{SCMFSA_M.MIZ,
  AUTHOR = {Library Committee},
  TITLE = {On the Memory of SCM+FSA},
  DAY = {1},
  MONTH = {October},
  YEAR = {2011},
  ADDRESS1 = {Association of Mizar Users},
  SUMMARY = {}}


