References in the i* thesis




Formal Characterisations