1956
3 works on record
Verification techniques for system-level design
2008
Representations of discrete functions
Nō, shintaisei, robotto