From e978da8c41d8a3c19a29036d9c569fbe2a4616b0 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 16 Jun 2006 14:41:51 +0000
Subject: Imported Upstream version 8.0pl3+8.1beta

---
 doc/refman/biblio.bib | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'doc/refman/biblio.bib')

diff --git a/doc/refman/biblio.bib b/doc/refman/biblio.bib
index 378936d9..b9a3a2c5 100644
--- a/doc/refman/biblio.bib
+++ b/doc/refman/biblio.bib
@@ -974,6 +974,18 @@ the Calculus of Inductive Constructions}},
         YEAR               = {1992}
 }
 
+@article{Rushby98,
+	TITLE = {Subtypes for Specifications: Predicate Subtyping in
+		{PVS}},
+	AUTHOR = {John Rushby and Sam Owre and N. Shankar},
+	JOURNAL = {IEEE Transactions on Software Engineering},
+	PAGES = {709--720},
+	VOLUME = 24,
+	NUMBER = 9,
+	MONTH = sep,
+	YEAR = 1998
+}
+
 @TECHREPORT{Saibi94,
         AUTHOR             = {A. Sa\"{\i}bi},
         INSTITUTION        = {INRIA},
-- 
cgit v1.2.3