https://web.archive.org/web/20101009092138/http://ulm.uni.udm.ru/~soft/wiki/doku.php?id=refal-5:korsaдруган скинул то, в чем сейчас разбирается.