Promise Theory: Principles and Applications

Bergstra, Jan A; Burgess, Mark