| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Lazy Functional Languages: Abstract Interpretation and Compilation | 978-0-262-52160-4 | 1991 | ||
| Lazy Functional Languages: Abstract Interpretation and Compilation | 978-0-273-08832-5 | 1991 | ||
| Theory and Formal Methods 1993: Proceedings Of The First Imperial College Department Of Computing Workshop On Theory And Formal Methods, Isle Of . . . ... Chelwood Gate, Sussex, UK, 29-31 March 1993 | 978-3-540-19842-0 | 1993 | ||
| Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Tho | 978-0-387-19842-2 | 1993 | Mark Ryan · Simon Gay · England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate · British Computer Society | |
G.B. · Gábor Baranyai · Gábor Barna · Gábor Berényi · Geoffrey Bourne · Geoffrey Brawn · Geoffrey Brown · Geoffrey Browne · Geoffrey Bruun · Geoffrey Burnie
Pearson Education · Springer · The MIT Press