Counting Closed Walks in Generalized de Bruijn Graphs. - Yukio Shibata; Miyuki Shirahata; Shingo Osawa (Inf. Process. Lett., 1994)

A linear conservative extension of Zermelo-Fraenkel set theory. - Miyuki Shirahata (Stud Logica, 1996)