| title | ISBN-13 (ISBN-10) | year of publica- tion |
|---|---|---|
| Formal Methods of Program Verification and Specification | 978-0-13-328807-0 (0-13-328807-2) | 1982 |
11FREUNDE · Ferrand · Ferrandez · Ferrandiz · FFRandonnée · Fournet · Frantico · Frantz · Frantzloch · Frentrup · Freund · freundin · Friend · Friends · Friendship · Frindall · Frontinus · Fronton