System Function Description-ALGOL. Extension of ALGOL for synchronous systems. Sammet 1969, p.625.
Try this search on Wikipedia, OneLook, Google