Proceedings (IAGLR, 1970)