4 works on record
PADS Logic & Layout Gao su dian lu ban she ji yu fang zhen
Programming Languages and Systems
Dependable Software Engineering. Theories, Tools, and Applications
Progress of Concurrent Objects