笠井 琢美

1. Translatability of flowcharts into while programs, J. Compt. Systems Sci.,
   Vol. 9, No.2 (1974) 177-195.
   
   
   

2. Classes of pebble games and complete problems, SIAM J. Comput., 8 (1979)
   574-589.
   
   
   
   

3. Homomorphisms between models of parallel computation, J. Compt. Systems
   Sci., 25 (1982) 285-331