Title: A time-independent definition of software reliability
First published: 1985