John M. Rushby, Sam Owre, Natarajan Shankar. Subtypes for Specifications: Predicate Subtyping in PVS. IEEE Trans. Software Eng., 24(9):709-720, 1998. [doi]
@article{RushbyOS98,
title = {Subtypes for Specifications: Predicate Subtyping in PVS},
author = {John M. Rushby and Sam Owre and Natarajan Shankar},
year = {1998},
url = {http://csdl.computer.org/comp/trans/ts/1998/09/e0709abs.htm},
tags = {subtyping},
researchr = {https://researchr.org/publication/RushbyOS98},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {24},
number = {9},
pages = {709-720},
}