00181nam a22000857a 4500082001500000100001200015245003700027260002300064300000800087  a001.642WAR  aWarnier  aLogical construction of programs  aH EbStenferc1974  a221