@Article{Nip89, Author = "Nipkow, T.", Year = "1989", Title = "{Equational Reasoning in Isabelle}", Journal = "Science of Computer Programming", Volume = "12", Number = "2", Pages = "123-149", Comment = "" }