3rd Working Conference "Formal Description of Programming Concepts"