Theoretical Knowlege Oriented Specification: Technical Report AUCS/TR0506