The value of reference implementations and prototyping in a formal design and testing methodology - Harry, Andrew (1992)