A survey on the Hawking – Penrose theory Major, Imre — 1984 Proceedings of the 12th Winter School on Abstract Analysis