Besides of the computer software SONATA, which is planned to be published as a refereed share package for GAP, the references [1]-[20] contain results evolved from this project. Drafts of the unfinished or unpublished papers have been appended.
