../code/conceptPage.scroll id inscan name Inscan appeared 1968 tags pl lab Auerbach Corporation country United States reference https://semanticscholar.org/paper/c59c29522b274aceaa5f1a637c0f1d2734a981af hopl https://hopl.info/showlanguage.prx?exp=4749