| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Data Structure Choice Formal Differentiation Two Papers on Very High Level Program Optimization: Courant Computer Science Report #15 | 978-O-265-15465-6 (O-265-15465-O) | 2018 |
C L · C. Liu · Cheng Liu · S.C. · S-C. Liu · S. Cheng · S. L. · S. Liu