PAISley - Bell Labs. Operational specification language. "An Operational
Approach to Requirements Specification for Embedded Systems", P. Zave, IEEE
Trans Soft Eng SE-8(3):250-269 (May 1982).
PAISley Programming Language
http://www.programming-languages.co.uk/paisley.html
Large list of computer programming languages arranged alphabetically, with explanations.