@Article{Langmaack97c,
  Author        = {Langmaack, H.},
  Title         = {{Contribution to Goodenough's and Gerhart's Theory of 
                    Software Testing and Verification: Relation between 
                    Strong Compiler Test and Compiler Implementation Verification}},
  Journal       = {Foundations of Computer
                  Science: Potential-Theory-Cognition. LNCS},
  Editor        = {C. Freksa and M. Jantzen and R. Valk},
  Publisher     = {Springer Verlag},
  Volume        = {1337},
  Pages         = {321-335},
  Address       = {Berlin, Heidelberg, New York},
  Year          = 1997
}