["Definition of the Programming Language POOL-T", Esprit

Project 415, Doc. 0091, Philips Research Labs, Eindhoven,

Netherlands, June 1985].