Li-Fan Chen
says to
YSITD
話說描述指令式語言的行為的代數叫啥