Harel, David "And/Or Programs: A New Approach to Structured Programming"

(1980) TOPLAS 2(1) January 1980  

Languages mentioned And/Or {1980} Simple tree-like programming/specification language