| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Reasoning About Program Transformations: Imperative Programming and Flow of Data | 978-O-387-95391-5 (O-387-95391-4) | 2002 |
"F.C." · François C · J C · J. F. · J François · Jean Collard · Jean F. · Jean François