(2020). Runtime Verification. Springer Berlin Heidelberg.
Chicago-tyylinen lähdeviittausRuntime Verification. Springer Berlin Heidelberg, 2020.
MLA-viiteRuntime Verification. Springer Berlin Heidelberg, 2020.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.