On unlimited types and reliability of Ada programs
Albert Llamosí, Pere Botella, Fernando Orejas · ACM SIGAda Ada Letters · 1984
The decision to mix two such different concepts as assignment and test for equality in the same feature of Ada language is submitted to criticism. Its consequences on reliability and modifiability of programs are considered and some methodological conclusions are drawn out.