Bailes, P. A. "Static Checking of Variable Handling in Dijkstra's Guarded Commands Language"

(1986) Computer Languages 11(3-4)  

Languages mentioned Dijkstra's guarded command language {1966}