7. References

Apart from the web sites referenced, here are some books and documents we found to be useful: