OBJ
https://link.springer.com/book/10.1007/978-1-4757-6541-0
#プログラミング言語