N. Oren. Proceedings of the 2002 annual research conference of
the South African institute of computer scientists and
information technologists on Enablement through
technology, page 224--234. Port Elizabeth, South Africa, South African Institute for Computer Scientists and
Information Technologists, (2002)