Recursion induction for real-time processes
scientific article; zbMATH DE number 598165
scientific article