← Jade: A High-Level, Machine-Independent Language for ...