C. Morgan
Oxford Univ., Oxford, UK
Arrays and pointers considered harmful
ACM SIGPLAN Notices
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safety-critical Java programs from Circus models
Real-Time Systems