with user's guide, tutorial, examples and extensions.