Formal specification and software development 2026-02-15T19:45:09+03:00 DEBUG: VuFind\ILS\Driver\Folio: Token taken from global cache: eyJhbGciOiJIUzI1NiJ9.eyJzdWIiO... - Bjrner, D. (Dines), 1937-; Jones, C. B. (Cliff B.), 1944 (Prentice-Hall International series in computer science, 1982)