| Towards a Formal Description of Ada | | Editor:
| Bjorner, D. Oest, O. N. | Series title: | Lecture Notes in Computer Science Ser. | ISBN: | 978-3-540-10283-0 | Publication Date: | Dec 1980 | Publisher: | Springer Berlin / Heidelberg
| Imprint: | Springer | Book Format: | Paperback | List Price: | USD $109.99 |
| |