Online Library TheLib.net » Book serie: / Книги серии: preprint of a paper (Theoretical Computer Science Volume 136 Issue 1 19 December 1994 Pages 79--107)