README: add procedures