Software Reliability Determination for Conventional and Logic Programming (Programmierung Komplexer Systeme / Programming Complex Systems, Band 7)