4 works on record
Automata, languages and programming
International Symposium on Programming
Theories of types and proofs
Typed Lambda Calculi and Applications