feat: add initial input for a formal specification of the contract negotiation process

[juliapampus]

As discussed, here the provided documents @jimmarino @ssteinbuss.

[juliapampus]

Will close as content was updated and will be placed in another repository.