根据合同法律理论，同时具有双务、有偿和诺成性质的合同有()。