Here are useful links from Jasmin Home Page.
Copyright (c) Jonathan Meyer, 2004