S. Takasu
This website becomes a very available place to look for countless logic language and computation festschrift in honor of satoru takasu sources.