LECTURE NOTES IN COMPUTER SCIENCE, vol. 1965, page. 57 - 70, 2001-01
LECTURE NOTES IN COMPUTER SCIENCE, vol. 1992, page. 325 - 338, 2001-01