Journals
Books
Articles by keyword formal models
S. V. Afanasiev