| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| The Foundations of Programme Verification | 978-0-471-91282-8 (0-471-91282-4) | 1987 | K. Sieber · R.D. Stansifier |
J. Lasky · J. Lees · J. Legge · J. Lewis · J. Locke · J. Lucaya · J. Luce · J. Luckey · J. Lusk · Jacques Loeckx · Jay Lake · Jay Louis · Jo Leigh · Jo Locke · Joe Leigh · Joe Lewis · Joe Liggio · Ju Laik