Characterization of Acceptable by ALGOL-Like Programming Languages. - Ch. Crasemann; Hans Langmaack (Logic of Programs, 1983)