See the BUGS manual section.
