Draft proposals

on the Working Conference "Formal Description of Programming Concepts". (Version 2, submitted to the 27th TC 2 meeting. Doc. "Brussels-5".)