Modely logického a bivalentního programování (Česká vědeckotechnická společnost, 1978)