| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Theory of Program Structures: Schemes, Semantics, Verification | 978-O-387-O7415-3 (O-387-O7415-5) | 1976 |
S. G. · Sally Groves · Seli Groves · Sheila A. Greibach · Sheila Graves · Sheila Groves · Şule Gürbüz · Sule Gurbuz