@techreport{gonthier:hal-02598330, TITLE = {{Recursive Operator Definitions}}, AUTHOR = {Gonthier, Georges and Lamport, Leslie}, URL = {https://inria.hal.science/hal-02598330}, TYPE = {Research Report}, NUMBER = {RR-9341}, PAGES = {17}, INSTITUTION = {{Inria Saclay Ile de France}}, YEAR = {2020}, MONTH = May, KEYWORDS = {logic ; formal methods ; specification ; TLA ; logique ; m{\'e}thodes formelles ; sp{\'e}cification ; TLA}, PDF = {https://inria.hal.science/hal-02598330/file/RR-9341.pdf}, HAL_ID = {hal-02598330}, HAL_VERSION = {v1}, }