Anders P. Ravn;Hans Rischel;Finn Conrad;Torben O. Andersen
-;-;-;-
Using formal specifications to support testing
ACM Computing Surveys (CSUR)