@misc {IOPORT.70481997,
    author       = {Gambles, J. W. and Windley, Phillip J.},
    title        = {Reasoning about the VHDL standard logic package signal data type},
    howpublished = {CHDL, 123-130 (1993).},
    year         = {1993},
    identifier   = {70481997},
}