@article{ITA_1983__17_2_137_0,
     author = {Broy, Manfred and Wirsing, Martin},
     title = {Algebraic definition of a functional programming language and its semantic models},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {137--161},
     publisher = {EDP-Sciences},
     volume = {17},
     number = {2},
     year = {1983},
     mrnumber = {713227},
     zbl = {0515.68017},
     language = {en},
     url = {http://archive.numdam.org/item/ITA_1983__17_2_137_0/}
}