TOPLAS 2(1) January 1980

() ACM Transactions on Programming Languages and Systems (TOPLAS)  

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