institute for research on data processing and random systems - Spanisch Englisch Wörterbuch