ALLOY

A language combining functional, object-oriented and logic programming ideas, suitable for massively parallel systems.

"The Design and Implementation of ALLOY, a Parallel Higher Level Programming Language", Thanasis Motsolides, PhD Thesis, New York University, 1990.

ALLOY 2.0

http://cs.nyu.edu/~mitsolid/alloyman.txt