897	 Note on the Proof of the Non-existence of a Phrase Structure Grammar for ALGOL
