Formalization of Broadcast Communication in Process Calculus and Its Model Checking. - Ritsuya Ikeda; Takuya Ohata; Shin-ya Nishizaki (ICSOFT (1), 2009)

Let-Binding with Regular Expressions in Lambda Calculus. - Takuya Ohata; Shin-ya Nishizaki (J. Softw., 2016)