Describir: Abstract machine models for highly parallel computers /