Towards a foundation for intelligent contracts

Editor(s):
Rocha, A.P.; Steels, L.