Trevor Vickers

Titel	Art	ISBN-13 (ISBN-10)	Erschei- nungsjahr	andere Autoren
On the Refinement Calculus	Gebunden	978-3-540-19809-3 (3-540-19809-1)	1994	Carroll Morgan
On the Refinement Calculus	Taschenbuch	978-3-540-19931-1 (3-540-19931-4)	1994	"