Solomon Passy Tinko Tinchev PDL with Data Constants. 35-41 1985 20 Inf. Process. Lett. 1 db/journals/ipl/ipl20.html#PassyT85