Online Library TheLib.net » Book serie: / Книги серии: preprint of a paper (Theoretical Computer Science Volume 134 Issue 1 7 November 1994 Pages 131-173)