generated at
『The Formal Semantics of Programming Languages』

https://www.amazon.co.jp/dp/0262731037

>Winskelは表示的意味論を学ぶのにおすすめです ref