Log in

Relevant bibliographies by topics / Verification methods / Journal articles

To see the other types of publications on this topic, follow the link: Verification methods.

Journal articles on the topic 'Verification methods'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Verification methods.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Harrison, John. "Floating-Point Verification." JUCS - Journal of Universal Computer Science 13, no. (5) (2007): 629–38. https://doi.org/10.3217/jucs-013-05-0629.

Full text

Abstract:

This paper overviews the application of formal verification techniques to hardware ingeneral, and to floating-point hardware in particular. A specific challenge is to connect the usual mathematical view of continuous arithmetic operations with the discrete world, in a credible andverifiable way.

APA, Harvard, Vancouver, ISO, and other styles

2

Sydorko, Igor, Roman Baitsar, and Oksana Plakhtii. "VALIDATION AND VERIFICATION OF MEASUREMENT METHODS IN CLINICAL DIAGNOSIS." Measuring Equipment and Metrology 82, no. 3 (2021): 26–31. http://dx.doi.org/10.23939/istcmtm2021.03.026.

Full text

Abstract:

The article investigates and analyzes the validation and verification of measurement methods in the clinical diagnostic laboratory. The content and features of validation and verification are revealed. Measurement methods are considered in detail. Each direction of validation and verification of measurement methods is analyzed. The difference between validation and verification is substantiated. Measuring systems are increasingly used in the laboratories of the clinical sector. This means that the responsibility for validation lies mainly with the manufacturer. The laboratory may operate a val

APA, Harvard, Vancouver, ISO, and other styles

3

Kochana, Roman, Lyudmila Kovalchuk, Oleksandr Korchenko, and Nataliia Kuchynska. "Statistical Tests Independence Verification Methods." Procedia Computer Science 192 (2021): 2678–88. http://dx.doi.org/10.1016/j.procs.2021.09.038.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Brocklehurst, E. R. "Computer Methods of Signature Verification." Journal of the Forensic Science Society 25, no. 6 (1985): 445–57. http://dx.doi.org/10.1016/s0015-7368(85)72433-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kallner, Anders. "Verification of Methods and Instruments." Point of Care: The Journal of Near-Patient Testing & Technology 11, no. 1 (2012): 22–25. http://dx.doi.org/10.1097/poc.0b013e318246a652.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Petković, Ljiljana D., and Miroslav Trajković. "Verification methods for inclusion disks." Reliable Computing 1, no. 4 (1995): 403–10. http://dx.doi.org/10.1007/bf02391685.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Woodcock, Jim, and Richard Banach. "The Verification Grand Challenge." JUCS - Journal of Universal Computer Science 13, no. (5) (2007): 661–68. https://doi.org/10.3217/jucs-013-05-0661.

Full text

Abstract:

This paper overviews the Verification Grand Challenge, a large scale multinationalintiative designed to significantly increase the interoperability, applicability and uptake of formal development techniques. Results to date are reviewed, and next steps are outlined.

APA, Harvard, Vancouver, ISO, and other styles

8

Zhang, Jie, Jian Qi, and Yong Guan. "Research on Hardware Design Verification Methods." Advanced Materials Research 588-589 (November 2012): 1208–13. http://dx.doi.org/10.4028/www.scientific.net/amr.588-589.1208.

Full text

Abstract:

This paper first summarizes the existing basic theories and methods of hardware design verification. Then it analyzes and compares the simulation-based verification and formal methods-based verification, and discusses Equivalence Checking, Model Checking and Theorem Proving in detail. Finally, it points out the existing problems and the future directions in the field.

APA, Harvard, Vancouver, ISO, and other styles

9

Cherlinka, V. R., and Y. M. Dmytruk. "Verification methods for predicative soil maps." Naukovij vìsnik Nacìonalʹnogo unìversitetu bìoresursìv ì prirodokoristuvannâ Ukraïni. Serìâ Bìologìâ, bìotehnologìâ, ekologìâ 2018, no. 287 (2018): 160–73. http://dx.doi.org/10.31548/biologiya2018.287.160.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Vijayanarayanan, N. S., Kushal Parwal, and Ravindra Kadam. "IEC 61439: Alternate Design Verification Methods." Power Research - A Journal of CPRI 16, no. 1 (2020): 27. http://dx.doi.org/10.33686/pwj.v16i1.152771.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Schmitt, Robert L., Awad S. Hanna, Jeffrey S. Russell, and Erik V. Nordheim. "Statistically Based Methods for Verification Testing." Transportation Research Record: Journal of the Transportation Research Board 1761, no. 1 (2001): 86–92. http://dx.doi.org/10.3141/1761-11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Kovalchuk, Liudmyla, and Nataliia Kuchynska. "Methods of statistical tests independence verification." Collection "Information technology and security" 5, no. 2 (2017): 20–32. http://dx.doi.org/10.20535/2411-1031.2017.5.2.136941.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Зольников, Владимир, Vladimir Zolnikov, Светлана Евдокимова, Svetlana Evdokimova, Татьяна Скворцова, and Tatyana Skvortsova. "PRACTICAL METHODS OF CHIP DESIGN VERIFICATION." Modeling of systems and processes 12, no. 1 (2019): 25–30. http://dx.doi.org/10.12737/article_5d639c80d03ac5.18926339.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Dobner, H. J. "Verification methods for fredholm integral equations." International Journal of Computer Mathematics 48, no. 3-4 (1993): 251–61. http://dx.doi.org/10.1080/00207169308804207.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Chen, Xiaojun. "Numerical verification methods for sphericalt-designs." Japan Journal of Industrial and Applied Mathematics 26, no. 2-3 (2009): 317–25. http://dx.doi.org/10.1007/bf03186537.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Cerna, I., and B. R. Haverkort. "Parallel and Distributed Methods in Verification." Journal of Logic and Computation 21, no. 1 (2011): 1–3. http://dx.doi.org/10.1093/logcom/exp001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Gilleland, Eric, David Ahijevych, Barbara G. Brown, Barbara Casati, and Elizabeth E. Ebert. "Intercomparison of Spatial Forecast Verification Methods." Weather and Forecasting 24, no. 5 (2009): 1416–30. http://dx.doi.org/10.1175/2009waf2222269.1.

Full text

Abstract:

Abstract Advancements in weather forecast models and their enhanced resolution have led to substantially improved and more realistic-appearing forecasts for some variables. However, traditional verification scores often indicate poor performance because of the increased small-scale variability so that the true quality of the forecasts is not always characterized well. As a result, numerous new methods for verifying these forecasts have been proposed. These new methods can mostly be classified into two overall categories: filtering methods and displacement methods. The filtering methods can be

APA, Harvard, Vancouver, ISO, and other styles

18

Gupta, Aarti. "Formal hardware verification methods: A survey." Formal Methods in System Design 1, no. 2-3 (1992): 151–238. http://dx.doi.org/10.1007/bf00121125.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

FENSEL, DIETER, and ARNO SCH Ö. "Inverse verification of problem-solving methods." International Journal of Human-Computer Studies 49, no. 4 (1998): 339–61. http://dx.doi.org/10.1006/ijhc.1998.0210.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Ecker, Wolfgang. "Verification methods for VHDL RTL-subroutines." Journal of Systems Architecture 42, no. 2 (1996): 117–28. http://dx.doi.org/10.1016/1383-7621(96)00018-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Dorninger, Manfred, and Theresa Gorgas. "Comparison of NWP-model chains by using novel verification methods." Meteorologische Zeitschrift 22, no. 4 (2013): 373–93. http://dx.doi.org/10.1127/0941-2948/2013/0488.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Radjabov, Sardor Abdinazar Ugli. "Analysis Of Methods Of Verification Of Tax And Financial Statements." American Journal of Management and Economics Innovations 02, no. 10 (2020): 6–10. http://dx.doi.org/10.37547/tajmei/volume02issue10-02.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Astankevych, Yu I. "ABOUT FORMS AND METHODS OF INTERNATIONAL VERIFICATION OF COMPLIANCE WITH INTERNATIONAL AGREEMENTS." Constitutional State, no. 43 (October 26, 2021): 177–84. http://dx.doi.org/10.18524/2411-2054.2021.43.240998.

Full text

Abstract:

The forms and methods of international verification, their varieties and related categories are considered in the paper. It is determined that the key feature of verification forms is a body carrying out verification activities. Consequently, it is proposed to understand the verification form as a way of organization and particularities of this activity. It has been found that the category of subject is often also used for a simple division of verification into types, which does not fully reflect the specifics of verification activities. Two main forms of international verification are disting

APA, Harvard, Vancouver, ISO, and other styles

24

Pang, Z., X. Qin, W. Jiang, et al. "THE REVIEW OF SOIL MOISTURE MULTI-SCALE VERIFICATION METHODS." ISPRS Annals of Photogrammetry, Remote Sensing and Spatial Information Sciences V-3-2020 (August 3, 2020): 395–99. http://dx.doi.org/10.5194/isprs-annals-v-3-2020-395-2020.

Full text

Abstract:

Abstract. Soil moisture is an important physical parameter to investigate water circulation, while it is difficult to be measured with spatiotemporal consistency. During the past several decades, a larger number of soil moisture verification methods were proposed, however, the review of soil moisture verification method from multi-scale perspective is still lacking. This paper investigates the verification method of soil moisture from three scale, such as point-scale, regional scale and remote sensing data verification. The prospect of soil moisture verification is proposed to serve retrieval

APA, Harvard, Vancouver, ISO, and other styles

25

Kaushik Velapa Reddy. "Formal Verification with ABV : A Superior Alternative to UVM for Complex Computing Chips." International Journal of Scientific Research in Computer Science, Engineering and Information Technology 10, no. 6 (2024): 90–98. http://dx.doi.org/10.32628/cseit24106157.

Full text

Abstract:

This article explores the evolution and effectiveness of formal verification enhanced with Assertion-Based Verification (ABV) as a superior alternative to traditional Universal Verification Methodology (UVM) in complex computing chip design. Through analysis of implementation data from major semiconductor companies, including Intel's Core i7 and IBM's POWER processors, the article demonstrates how formal methods achieve up to 100% coverage of critical modules compared to UVM's typical 80-85% coverage. The research presents quantitative evidence of formal verification's advantages, including a

APA, Harvard, Vancouver, ISO, and other styles

26

Shaik, Bushra, Jyothi Manohar Katikireddy, Vamsidhar Kambham, and K. Sravani. "Offline Signature Verification Using Image Processing." E3S Web of Conferences 391 (2023): 01074. http://dx.doi.org/10.1051/e3sconf/202339101074.

Full text

Abstract:

A person’s signature is merely a handwritten sign that closely resembles his/her name, frequently stylized and distinctive, and that expresses the person’s identity, intent, and consent. Two types of verifications are present. They are online signature verification and offline signature verification. Generally, Offline Signature verification is less efficient and slower process compare to online verification when come to the situation having larger number of documents and files to verify with in less time. Over the years, many researchers have developed so many methods for signature verificati

APA, Harvard, Vancouver, ISO, and other styles

27

Casati, Barbara, Manfred Dorninger, Caio A. S. Coelho, et al. "The 2020 International Verification Methods Workshop Online: Major Outcomes and Way Forward." Bulletin of the American Meteorological Society 103, no. 3 (2022): E899—E910. http://dx.doi.org/10.1175/bams-d-21-0126.1.

Full text

Abstract:

Abstract The International Verification Methods Workshop was held online in November 2020 and included sessions on physical error characterization using process diagnostics and error tracking techniques; exploitation of data assimilation techniques in verification practices, e.g., to address representativeness issues and observation uncertainty; spatial verification methods and the Model Evaluation Tools, as unified reference verification software; and meta-verification and best practices for scores computation. The workshop reached out to diverse research communities working in the areas of h

APA, Harvard, Vancouver, ISO, and other styles

28

Dorninger, Manfred, Petra Friederichs, Sabrina Wahl, Marion P. Mittermaier, Chiara Marsigli, and Barbara G. Brown. "Editorial: Forecast verification methods across time and space scales – Part I." Meteorologische Zeitschrift 27, no. 6 (2018): 433–34. http://dx.doi.org/10.1127/metz/2018/0955.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Zhao, Yingxin, and Allan R. Brasier. "Methods for Biomarker Verification and Assay Development." Current Proteomics 8, no. 2 (2011): 138–52. http://dx.doi.org/10.2174/157016411795678066.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Dorogyy, Yaroslaw Yu, and Vasyl V. Tsurkan. "A SURVEY OF PARAMETRIC MODEL VERIFICATION METHODS." Collection of Scientific Publications NUS, no. 1(479) (2020): 82–90. http://dx.doi.org/10.15589/znp2020.1(479).10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Sivý, Radovan, and Daniela Perduková. "Verification of Slam Methods on Ros Platform." Transactions of the VŠB - Technical University of Ostrava, Mechanical Series 62, no. 1 (2016): 59–66. http://dx.doi.org/10.22223/tr.2016-1/2011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Shankar, Ruchi, Shalini Eswaran, Sharavathi Bhat, and Lakshmanan Balasubramanian. "Pulse Width Insensitive Design and Verification Methods." EAI Endorsed Transactions on Cloud Systems 6, no. 17 (2020): 162635. http://dx.doi.org/10.4108/eai.13-7-2018.162635.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Podyachev. "Coverage methods in IDEF-0 models verification." SPIIRAS Proceedings, no. 5 (March 17, 2014): 275. http://dx.doi.org/10.15622/sp.5.17.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Lange, Marko. "Verification methods for conic linear programming problems." Nonlinear Theory and Its Applications, IEICE 11, no. 3 (2020): 327–58. http://dx.doi.org/10.1587/nolta.11.327.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Boselli, Roberto, Mirko Cesarini, Fabio Mercorio, and Mario Mezzanzanica. "Longitudinal data consistency verification using formal methods." International Journal of Information Quality 3, no. 3 (2014): 185. http://dx.doi.org/10.1504/ijiq.2014.064054.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

NELSON, WINSTON, WILLIAM TURIN, and TREVOR HASTIE. "STATISTICAL METHODS FOR ON-LINE SIGNATURE VERIFICATION." International Journal of Pattern Recognition and Artificial Intelligence 08, no. 03 (1994): 749–70. http://dx.doi.org/10.1142/s0218001494000395.

Full text

Abstract:

Three methods for on-line signature verification are discussed in this paper. They are based on statistical models of features that summarize different aspects of signature shape and the dynamics of signature production. Two of the methods are based on the feature statistics of genuine signatures only. Of these two methods, the simpler one using a Euclidean distance error metric was found to have superior performance when tested on a database of 919 genuine signatures and 330 forgeries. Using a procedure for selecting the individual best 10 out of 22 features, the Euclidean distance method cor

APA, Harvard, Vancouver, ISO, and other styles

37

Mueller, R. A., and M. R. Duda. "Formal Methods of Microcode Verification and Synthesis." IEEE Software 3, no. 4 (1986): 38–48. http://dx.doi.org/10.1109/ms.1986.233753.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Kuliamin, V. V. "Integration of verification methods for program systems." Programming and Computer Software 35, no. 4 (2009): 212–22. http://dx.doi.org/10.1134/s0361768809040057.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Bhukya, Ramesh K., S. R. Mahadeva Prasanna, and Biswajit Dev Sarma. "Robust Methods for Text-Dependent Speaker Verification." Circuits, Systems, and Signal Processing 38, no. 11 (2019): 5253–88. http://dx.doi.org/10.1007/s00034-019-01125-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Bennour, Imed E., Mohamed Abid, and Rached Tourki. "Hardware/Software Co-Verification: Models and Methods." Systems Analysis Modelling Simulation 42, no. 9 (2002): 1391–417. http://dx.doi.org/10.1080/716067216.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Beck, James V., Robert McMasters, Kevin J. Dowding, and Donald E. Amos. "Intrinsic verification methods in linear heat conduction." International Journal of Heat and Mass Transfer 49, no. 17-18 (2006): 2984–94. http://dx.doi.org/10.1016/j.ijheatmasstransfer.2006.01.045.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Beato, M. Encarnación, Manuel Barrio-Solórzano, Carlos E. Cuesta, and Pablo de la Fuente. "UML Automatic Verification Tool with Formal Methods." Electronic Notes in Theoretical Computer Science 127, no. 4 (2005): 3–16. http://dx.doi.org/10.1016/j.entcs.2004.10.024.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Avdoshin, S. M., and A. M. Litvinenko. "A Review of Smart Contract Verification Methods." Informacionnye Tehnologii 31, no. 1 (2025): 42–55. https://doi.org/10.17587/it.31.42-55.

Full text

Abstract:

Smart contracts are software algorithms that represent an agreement in digital form with a mechanism for forcing the parties to fulfill their obligations. Smart contracts are already firmly entrenched in the fields of finance, but this is not the only possible field of application. The disadvantage of such a digital agreement is that smart contracts can contain errors that can lead to financial losses. The verification process is designed to reduce such errors. This paper provides an overview of methods and tools in the field of smart contract verification.

APA, Harvard, Vancouver, ISO, and other styles

44

Witkowski, Jakub. "Assessing Selection Mechanisms in Charity Organizations Using Operational Research Methods." Przegląd Statystyczny 64, no. 2 (2017): 213–24. http://dx.doi.org/10.5604/01.3001.0014.0803.

Full text

Abstract:

The aim of this paper is to assess efficiency of verification policies used in charity organizations. Verification policy can be introduced to ensure that aid is granted only to people who are eligible for it. However, it bears costs for the program’s organizers. The paper provides a theoretical model assessing economic efficiency of ver ification policy using optimization and simulation methods. Depending on characteristics of the program one of three decisions might be optimal: granting aid without verification, granting aid only to positively verified people or not granting aid at all. Ther

APA, Harvard, Vancouver, ISO, and other styles

45

Choi, Soyoung, Taejoon Park, and Jinho Park. "A Study on Verification Methods of Vocabulary Grade." Morphology 25, no. 1 (2023): 57–93. http://dx.doi.org/10.51157/kmor.2023.25.1.57.

Full text

Abstract:

In this study, a new method was designed and verified to verify the validity of the 'vocabulary grading list', which selected and graded educational vocabulary to support systematic vocabulary teaching and learning in school education. As a verification method, the following two-way method was devised. First, as a way to expand language life beyond school education, it is a way to verify validity by checking whether the vocabulary grade to be verified is a level that appropriately reflects general language life in the wider world than school education. To implement this plan, a hierarchy of vo

APA, Harvard, Vancouver, ISO, and other styles

46

Chertok, Nikita Dmitrievich, and Mikhail Mikhaylovich Chupilko. "Survey of Methods for Functional Online Testing of Microprocessors." Proceedings of the Institute for System Programming of the RAS 33, no. 6 (2021): 131–48. http://dx.doi.org/10.15514/ispras-2021-33(6)-9.

Full text

Abstract:

Online testing is a process of functional verification of microprocessors produced in silicon or their FPGA-prototypes, i.e. post-silicon verification. This type of testing differs both from the manufacturing testing, aimed at checking the workability of manufactured chips (e.g., absence of physical defects, admissibility of physical characteristics) and from simulation-based pre-silicon functional verification of microprocessors models (where internal microprocessor signals are available for observing, and the execution process can be controlled). Post-silicon verification enables to rapidly

APA, Harvard, Vancouver, ISO, and other styles

47

Ding, Xiao Jian, and Feng Xin Sun. "An Overview of VV&A Methods for Conceptual Model." Applied Mechanics and Materials 444-445 (October 2013): 860–64. http://dx.doi.org/10.4028/www.scientific.net/amm.444-445.860.

Full text

Abstract:

This paper summarizes the literature and presents important concepts related to conceptual model verification. Different approaches have been proposed in the literature. These approaches have been introduced as two parts with emphasis on formal techniques. First order logic for structural views and Petri nets for behavioral views are investigated in the search of a practical verification method for conceptual modeling in UML. Then a short assessment of formal verification work for UML will be presented.

APA, Harvard, Vancouver, ISO, and other styles

48

Miletić, Slavica, Biserka Trumić, and Suzana Stanković. "Analysis of the verification criteria of testing methods by tension of steel wires." Mining and Metallurgy Engineering Bor, no. 1 (2023): 83–88. http://dx.doi.org/10.5937/mmeb2301083m.

Full text

Abstract:

One of the criteria in the laboratory practice for laboratory accreditation according to the requirements of the SRPS ISO/IEC 17025:2017 standard is the verification of methods. Verification - standard methods of testing the steel wires, has shown the verification and confirmation of methods in the specific laboratory test conditions, specified in the requirements of the SRPS ISO/IEC 17025:2017 standard. The requirements of the test method standards by verification have proved to the service user to have a confidence in the result obtained by its application. In the paper, the authors present

APA, Harvard, Vancouver, ISO, and other styles

49

Hajduk, Paweł, Norbert Wieruszewski, and Maria Skublewska-Paszkowska. "Verification methods of a programmer’s knowledge and skills." Journal of Computer Sciences Institute 8 (November 30, 2018): 270–76. http://dx.doi.org/10.35784/jcsi.695.

Full text

Abstract:

The article describes currently utilized methods of a programmer’s knowledge verification and skills. The research consisted of creating custom solution which was an application implementing chosen methods and carrying out test with the participation of programmers having various levels of experience, knowledge and skills. Effectiveness of assessment, reliability and verification time were evaluated based on an analysis of the results received from the research

APA, Harvard, Vancouver, ISO, and other styles

50

Kotsiuba, Anatolii. "Verification of methods in accordance with the requirements of ISO/IEC 17025:2017 by the intralaboratory method." Ukrainian Metrological Journal, no. 2 (June 30, 2022): 35–39. http://dx.doi.org/10.24027/2306-7039.2.2022.263887.

Full text

Abstract:

The article is dedicated to the analysis of the requirements of the standard ISO/IEC 17025:2017 for the verification of test and calibration methods. The necessity of verification of standardized methods is demonstrated and the characteristics of standardized methods that need to be confirmed during their verification are revealed. The method of intralaboratory verification of test methods is proposed, which is to confirm the repeatability and trueness of methods based on the results of control measurements of reference materials in accordance with the principles set out in the series of inter

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!